| 1 | body { |
| 2 | /* background: #fffffa; */ |
| 3 | font-family: sans-serif; |
| 4 | line-height: 1.6; |
| 5 | padding: 2em; |
| 6 | } |
| 7 | |
| 8 | header, nav, main, footer { |
| 9 | margin: auto; |
| 10 | max-width: 38rem; |
| 11 | } |
| 12 | |
| 13 | body > header { |
| 14 | margin-bottom: 0.25em; |
| 15 | } |
| 16 | body > header h1 { |
| 17 | margin: 0; |
| 18 | font-size: 100%; |
| 19 | } |
| 20 | header a { |
| 21 | color: inherit; |
| 22 | } |
| 23 | nav ul { |
| 24 | margin: 0; |
| 25 | padding: 0; |
| 26 | } |
| 27 | nav li { |
| 28 | display: inline; |
| 29 | text-transform: lowercase; |
| 30 | } |
| 31 | nav li + li { |
| 32 | margin-left: 0.5em; |
| 33 | } |
| 34 | nav a { |
| 35 | color: #333; |
| 36 | } |
| 37 | nav, main { |
| 38 | margin-bottom: 1.5em; |
| 39 | } |
| 40 | header >:not(h1) { |
| 41 | font-size: 0.875em; |
| 42 | } |
| 43 | header > h1 + p { |
| 44 | margin-top: -1em; |
| 45 | } |
| 46 | footer { |
| 47 | border-top: 1px solid #bbb; |
| 48 | font-size: 0.84em; |
| 49 | padding-top: 1em; |
| 50 | } |
| 51 | footer p { |
| 52 | margin: 0; |
| 53 | } |
| 54 | |
| 55 | h1 { |
| 56 | font-size: 1.5em; |
| 57 | } |
| 58 | h2 { |
| 59 | font-size: 1.25em; |
| 60 | } |
| 61 | h3 { |
| 62 | font-size: 1.125em; |
| 63 | } |
| 64 | |
| 65 | a { |
| 66 | color: #036; |
| 67 | } |
| 68 | /* |
| 69 | a:hover, a:focus { |
| 70 | color: #005a6a; |
| 71 | } |
| 72 | */ |
| 73 | a:active { |
| 74 | outline-offset: 2px; |
| 75 | } |
| 76 | |
| 77 | h4 { |
| 78 | margin: 0.75em auto; |
| 79 | } |
| 80 | |
| 81 | article h3 { |
| 82 | font-weight: normal; |
| 83 | color: #777; |
| 84 | } |
| 85 | |
| 86 | .notice { |
| 87 | background-color: #efefef; |
| 88 | text-align: center; |
| 89 | position: relative; |
| 90 | } |
| 91 | .notice::before { |
| 92 | content: "↪"; |
| 93 | position: absolute; |
| 94 | left: 0.5em; |
| 95 | bottom: 0.05em; |
| 96 | } |
| 97 | .notice::after { |
| 98 | content: "↩"; |
| 99 | position: absolute; |
| 100 | right: 0.5em; |
| 101 | bottom: 0.05em; |
| 102 | } |
| 103 | |
| 104 | .center-text { |
| 105 | text-align: center; |
| 106 | } |
| 107 | |
| 108 | sup, sub { |
| 109 | position: relative; |
| 110 | top: -0.4em; |
| 111 | vertical-align: baseline; |
| 112 | } |
| 113 | sub { |
| 114 | top: 0.4em; |
| 115 | } |
| 116 | |
| 117 | /* TeX logos */ |
| 118 | .t-logo { |
| 119 | font-family: "Tex Gyre Termes", serif; |
| 120 | /* letter-spacing: 1px; */ |
| 121 | white-space: nowrap; |
| 122 | } |
| 123 | .t-logo sup { |
| 124 | font-size: 0.85em; |
| 125 | letter-spacing: 1px; |
| 126 | margin-left: -0.36em; |
| 127 | margin-right: -0.15em; |
| 128 | text-transform: uppercase; |
| 129 | vertical-align: 0.15em; |
| 130 | top: 0; |
| 131 | } |
| 132 | .t-logo sub { |
| 133 | font-size: 1em; |
| 134 | margin-left: -0.1667em; |
| 135 | margin-right: -0.125em; |
| 136 | text-transform: uppercase; |
| 137 | vertical-align: -0.5ex; |
| 138 | top: 0; |
| 139 | } |
| 140 | |
| 141 | blockquote#abstract { |
| 142 | font-size: 0.95em; |
| 143 | text-align: justify; |
| 144 | } |
| 145 | |
| 146 | pre, code { |
| 147 | background: #f6f6f6; |
| 148 | font: 1.15em monospace; |
| 149 | } |
| 150 | pre { |
| 151 | display: inline-block; |
| 152 | margin: 0.5em 0; |
| 153 | min-width: 100%; |
| 154 | padding: 1em; |
| 155 | } |
| 156 | pre:first-of-type { |
| 157 | margin-top: 0; |
| 158 | } |
| 159 | pre > code { |
| 160 | padding: 0; |
| 161 | background: initial; |
| 162 | } |
| 163 | code { |
| 164 | text-transform: none; |
| 165 | padding: .2em .3em; |
| 166 | } |
| 167 | strong { |
| 168 | font-weight: bold; |
| 169 | } |
| 170 | em { |
| 171 | font-style: italic; |
| 172 | } |
| 173 | |
| 174 | table td { |
| 175 | padding: 0.125em 0.3em; |
| 176 | } |
| 177 | #publications td { |
| 178 | padding-top: 0.4em; |
| 179 | padding-bottom: 0.4em; |
| 180 | } |
| 181 | table td:first-child { |
| 182 | padding-left: 0; |
| 183 | } |
| 184 | table td:last-child { |
| 185 | padding-right: 0 |
| 186 | } |
| 187 | #notes { |
| 188 | margin-top: 0.9em; |
| 189 | } |
| 190 | .post-list { |
| 191 | width: 100%; |
| 192 | } |
| 193 | .post-list tr:hover { |
| 194 | background: #fafafa; |
| 195 | } |
| 196 | .post-list td { |
| 197 | padding: 0.25em 0; |
| 198 | } |
| 199 | .post-list td:nth-child(2) { |
| 200 | text-align: right; |
| 201 | } |
| 202 | |
| 203 | small, dd, .small, .bibtexnumber, .bibtexitem, .bibtex2html { |
| 204 | font-size: 0.875em; |
| 205 | } |
| 206 | .muted { |
| 207 | color: #666; |
| 208 | } |
| 209 | .inbox, .bibtex2html { |
| 210 | margin-top: 2em; |
| 211 | } |
| 212 | .justify { |
| 213 | text-align: justify; |
| 214 | } |
| 215 | |
| 216 | li, dd { |
| 217 | margin-bottom: 0.25em; |
| 218 | } |
| 219 | |
| 220 | .feed-icon { |
| 221 | margin-right: 3px |
| 222 | } |
| 223 | .feed-icon-h2 { |
| 224 | margin-left: 5px; |
| 225 | position: relative; |
| 226 | top: 2px |
| 227 | } |
| 228 | .smly { |
| 229 | display: inline-block; |
| 230 | transform: rotate(90deg); |
| 231 | margin-left: 0.2em; |
| 232 | } |
| 233 | .warn { |
| 234 | color: #a10029; |
| 235 | } |