[6eeb209] | 1 | |
---|
| 2 | /* CSS seems backward: List all the classes for which we want a |
---|
| 3 | particular font, so that the font can be changed in one place. (It |
---|
| 4 | would be nicer to reference a font definition from all the places |
---|
| 5 | that we want it.) |
---|
| 6 | |
---|
| 7 | As you read the rest of the file, remember to double-check here to |
---|
| 8 | see if any font is set. */ |
---|
| 9 | |
---|
| 10 | /* Monospace: */ |
---|
| 11 | .maincolumn, .refpara, .tocset, .stt, .hspace { |
---|
| 12 | font-family: monospace; |
---|
| 13 | } |
---|
| 14 | |
---|
| 15 | /* Serif: */ |
---|
| 16 | .main, .refcontent, .tocview, .tocsub, i { |
---|
| 17 | font-family: serif; |
---|
| 18 | } |
---|
| 19 | |
---|
| 20 | /* Sans-serif: */ |
---|
| 21 | .version, .versionNoNav { |
---|
| 22 | font-family: sans-serif; |
---|
| 23 | } |
---|
| 24 | |
---|
| 25 | /* ---------------------------------------- */ |
---|
| 26 | |
---|
| 27 | p, .SIntrapara { |
---|
| 28 | display: block; |
---|
| 29 | margin: 1em 0; |
---|
| 30 | } |
---|
| 31 | |
---|
| 32 | h2 { /* per-page main title */ |
---|
| 33 | margin-top: 0; |
---|
| 34 | } |
---|
| 35 | |
---|
| 36 | h3, h4, h5, h6, h7, h8 { |
---|
| 37 | margin-top: 1.75em; |
---|
| 38 | margin-bottom: 0.5em; |
---|
| 39 | } |
---|
| 40 | |
---|
| 41 | /* Needed for browsers like Opera, and eventually for HTML 4 conformance. |
---|
| 42 | This means that multiple paragraphs in a table element do not have a space |
---|
| 43 | between them. */ |
---|
| 44 | table p { |
---|
| 45 | margin-top: 0; |
---|
| 46 | margin-bottom: 0; |
---|
| 47 | } |
---|
| 48 | |
---|
| 49 | /* ---------------------------------------- */ |
---|
| 50 | /* Main */ |
---|
| 51 | |
---|
| 52 | body { |
---|
| 53 | color: black; |
---|
| 54 | background-color: #ffffff; |
---|
| 55 | } |
---|
| 56 | |
---|
| 57 | table td { |
---|
| 58 | padding-left: 0; |
---|
| 59 | padding-right: 0; |
---|
| 60 | } |
---|
| 61 | |
---|
| 62 | .maincolumn { |
---|
| 63 | width: 43em; |
---|
| 64 | margin-right: -40em; |
---|
| 65 | margin-left: 15em; |
---|
| 66 | } |
---|
| 67 | |
---|
| 68 | .main { |
---|
| 69 | text-align: left; |
---|
| 70 | } |
---|
| 71 | |
---|
| 72 | /* ---------------------------------------- */ |
---|
| 73 | /* Navigation */ |
---|
| 74 | |
---|
| 75 | .navsettop, .navsetbottom { |
---|
| 76 | background-color: #f0f0e0; |
---|
| 77 | padding: 0.25em 0 0.25em 0; |
---|
| 78 | } |
---|
| 79 | |
---|
| 80 | .navsettop { |
---|
| 81 | margin-bottom: 1.5em; |
---|
| 82 | border-bottom: 2px solid #e0e0c0; |
---|
| 83 | } |
---|
| 84 | |
---|
| 85 | .navsetbottom { |
---|
| 86 | margin-top: 2em; |
---|
| 87 | border-top: 2px solid #e0e0c0; |
---|
| 88 | } |
---|
| 89 | |
---|
| 90 | .navleft { |
---|
| 91 | margin-left: 1ex; |
---|
| 92 | position: relative; |
---|
| 93 | float: left; |
---|
| 94 | white-space: nowrap; |
---|
| 95 | } |
---|
| 96 | .navright { |
---|
| 97 | margin-right: 1ex; |
---|
| 98 | position: relative; |
---|
| 99 | float: right; |
---|
| 100 | white-space: nowrap; |
---|
| 101 | } |
---|
| 102 | .nonavigation { |
---|
| 103 | color: #e0e0e0; |
---|
| 104 | } |
---|
| 105 | |
---|
| 106 | .searchform { |
---|
| 107 | display: inline; |
---|
| 108 | margin: 0; |
---|
| 109 | padding: 0; |
---|
| 110 | } |
---|
| 111 | |
---|
| 112 | .searchbox { |
---|
| 113 | width: 16em; |
---|
| 114 | margin: 0px; |
---|
| 115 | padding: 0px; |
---|
| 116 | background-color: #eee; |
---|
| 117 | border: 1px solid #ddd; |
---|
| 118 | text-align: center; |
---|
| 119 | vertical-align: middle; |
---|
| 120 | } |
---|
| 121 | |
---|
| 122 | #contextindicator { |
---|
| 123 | position: fixed; |
---|
| 124 | background-color: #c6f; |
---|
| 125 | color: #000; |
---|
| 126 | font-family: monospace; |
---|
| 127 | font-weight: bold; |
---|
| 128 | padding: 2px 10px; |
---|
| 129 | display: none; |
---|
| 130 | right: 0; |
---|
| 131 | bottom: 0; |
---|
| 132 | } |
---|
| 133 | |
---|
| 134 | /* ---------------------------------------- */ |
---|
| 135 | /* Version */ |
---|
| 136 | |
---|
| 137 | .versionbox { |
---|
| 138 | position: relative; |
---|
| 139 | float: right; |
---|
| 140 | left: 2em; |
---|
| 141 | height: 0em; |
---|
| 142 | width: 13em; |
---|
| 143 | margin: 0em -13em 0em 0em; |
---|
| 144 | } |
---|
| 145 | .version { |
---|
| 146 | font-size: small; |
---|
| 147 | } |
---|
| 148 | .versionNoNav { |
---|
| 149 | font-size: xx-small; /* avoid overlap with author */ |
---|
| 150 | } |
---|
| 151 | |
---|
| 152 | /* ---------------------------------------- */ |
---|
| 153 | /* Margin notes */ |
---|
| 154 | |
---|
| 155 | .refpara, .refelem { |
---|
| 156 | position: relative; |
---|
| 157 | float: right; |
---|
| 158 | left: 2em; |
---|
| 159 | height: 0em; |
---|
| 160 | width: 13em; |
---|
| 161 | margin: 0em -13em 0em 0em; |
---|
| 162 | } |
---|
| 163 | |
---|
| 164 | .refpara { |
---|
| 165 | top: -1em; |
---|
| 166 | } |
---|
| 167 | |
---|
| 168 | .refcolumn { |
---|
| 169 | background-color: #F5F5DC; |
---|
| 170 | display: block; |
---|
| 171 | position: relative; |
---|
| 172 | width: 13em; |
---|
| 173 | font-size: 85%; |
---|
| 174 | border: 0.5em solid #F5F5DC; |
---|
| 175 | margin: 0 0 0 0; |
---|
| 176 | } |
---|
| 177 | |
---|
| 178 | .refcontent { |
---|
| 179 | margin: 0 0 0 0; |
---|
| 180 | } |
---|
| 181 | |
---|
| 182 | .refcontent p { |
---|
| 183 | margin-top: 0; |
---|
| 184 | margin-bottom: 0; |
---|
| 185 | } |
---|
| 186 | |
---|
| 187 | /* ---------------------------------------- */ |
---|
| 188 | /* Table of contents, inline */ |
---|
| 189 | |
---|
| 190 | .toclink { |
---|
| 191 | text-decoration: none; |
---|
| 192 | color: blue; |
---|
| 193 | font-size: 85%; |
---|
| 194 | } |
---|
| 195 | |
---|
| 196 | .toptoclink { |
---|
| 197 | text-decoration: none; |
---|
| 198 | color: blue; |
---|
| 199 | font-weight: bold; |
---|
| 200 | } |
---|
| 201 | |
---|
| 202 | /* ---------------------------------------- */ |
---|
| 203 | /* Table of contents, left margin */ |
---|
| 204 | |
---|
| 205 | .tocset { |
---|
| 206 | position: relative; |
---|
| 207 | float: left; |
---|
| 208 | width: 12.5em; |
---|
| 209 | margin-right: 2em; |
---|
| 210 | } |
---|
| 211 | .tocset td { |
---|
| 212 | vertical-align: text-top; |
---|
| 213 | } |
---|
| 214 | |
---|
| 215 | .tocview { |
---|
| 216 | text-align: left; |
---|
| 217 | background-color: #f0f0e0; |
---|
| 218 | } |
---|
| 219 | |
---|
| 220 | .tocsub { |
---|
| 221 | text-align: left; |
---|
| 222 | margin-top: 0.5em; |
---|
| 223 | background-color: #f0f0e0; |
---|
| 224 | } |
---|
| 225 | |
---|
| 226 | .tocviewlist, .tocsublist { |
---|
| 227 | margin-left: 0.2em; |
---|
| 228 | margin-right: 0.2em; |
---|
| 229 | padding-top: 0.2em; |
---|
| 230 | padding-bottom: 0.2em; |
---|
| 231 | } |
---|
| 232 | .tocviewlist table { |
---|
| 233 | font-size: 82%; |
---|
| 234 | } |
---|
| 235 | |
---|
| 236 | .tocviewsublist, .tocviewsublistonly, .tocviewsublisttop, .tocviewsublistbottom { |
---|
| 237 | margin-left: 0.4em; |
---|
| 238 | border-left: 1px solid #bbf; |
---|
| 239 | padding-left: 0.8em; |
---|
| 240 | } |
---|
| 241 | .tocviewsublist { |
---|
| 242 | margin-bottom: 1em; |
---|
| 243 | } |
---|
| 244 | .tocviewsublist table, |
---|
| 245 | .tocviewsublistonly table, |
---|
| 246 | .tocviewsublisttop table, |
---|
| 247 | .tocviewsublistbottom table { |
---|
| 248 | font-size: 75%; |
---|
| 249 | } |
---|
| 250 | |
---|
| 251 | .tocviewtitle * { |
---|
| 252 | font-weight: bold; |
---|
| 253 | } |
---|
| 254 | |
---|
| 255 | .tocviewlink { |
---|
| 256 | text-decoration: none; |
---|
| 257 | color: blue; |
---|
| 258 | } |
---|
| 259 | |
---|
| 260 | .tocviewselflink { |
---|
| 261 | text-decoration: underline; |
---|
| 262 | color: blue; |
---|
| 263 | } |
---|
| 264 | |
---|
| 265 | .tocviewtoggle { |
---|
| 266 | text-decoration: none; |
---|
| 267 | color: blue; |
---|
| 268 | font-size: 75%; /* looks better, and avoids bounce when toggling sub-sections due to font alignments */ |
---|
| 269 | } |
---|
| 270 | |
---|
| 271 | .tocsublist td { |
---|
| 272 | padding-left: 1em; |
---|
| 273 | text-indent: -1em; |
---|
| 274 | } |
---|
| 275 | |
---|
| 276 | .tocsublinknumber { |
---|
| 277 | font-size: 82%; |
---|
| 278 | } |
---|
| 279 | |
---|
| 280 | .tocsublink { |
---|
| 281 | font-size: 82%; |
---|
| 282 | text-decoration: none; |
---|
| 283 | } |
---|
| 284 | |
---|
| 285 | .tocsubseclink { |
---|
| 286 | font-size: 82%; |
---|
| 287 | text-decoration: none; |
---|
| 288 | } |
---|
| 289 | |
---|
| 290 | .tocsubnonseclink { |
---|
| 291 | font-size: 82%; |
---|
| 292 | text-decoration: none; |
---|
| 293 | padding-left: 0.5em; |
---|
| 294 | } |
---|
| 295 | |
---|
| 296 | .tocsubtitle { |
---|
| 297 | font-size: 82%; |
---|
| 298 | font-style: italic; |
---|
| 299 | margin: 0.2em; |
---|
| 300 | } |
---|
| 301 | |
---|
| 302 | .sepspace { |
---|
| 303 | font-size: 40%; |
---|
| 304 | } |
---|
| 305 | |
---|
| 306 | .septitle { |
---|
| 307 | font-size: 70%; |
---|
| 308 | } |
---|
| 309 | |
---|
| 310 | /* ---------------------------------------- */ |
---|
| 311 | /* Some inline styles */ |
---|
| 312 | |
---|
| 313 | .indexlink { |
---|
| 314 | text-decoration: none; |
---|
| 315 | } |
---|
| 316 | |
---|
| 317 | .nobreak { |
---|
| 318 | white-space: nowrap; |
---|
| 319 | } |
---|
| 320 | |
---|
| 321 | .stt { |
---|
| 322 | } |
---|
| 323 | |
---|
| 324 | .title { |
---|
| 325 | font-size: 200%; |
---|
| 326 | font-weight: normal; |
---|
| 327 | margin-top: 2.8em; |
---|
| 328 | text-align: center; |
---|
| 329 | } |
---|
| 330 | |
---|
| 331 | pre { margin-left: 2em; } |
---|
| 332 | blockquote { margin-left: 2em; } |
---|
| 333 | |
---|
| 334 | ol { list-style-type: decimal; } |
---|
| 335 | ol ol { list-style-type: lower-alpha; } |
---|
| 336 | ol ol ol { list-style-type: lower-roman; } |
---|
| 337 | ol ol ol ol { list-style-type: upper-alpha; } |
---|
| 338 | |
---|
| 339 | i { |
---|
| 340 | } |
---|
| 341 | |
---|
| 342 | .SubFlow { |
---|
| 343 | display: block; |
---|
| 344 | margin: 0em; |
---|
| 345 | } |
---|
| 346 | |
---|
| 347 | .boxed { |
---|
| 348 | width: 100%; |
---|
| 349 | background-color: #E8E8FF; |
---|
| 350 | } |
---|
| 351 | |
---|
| 352 | .hspace { |
---|
| 353 | } |
---|
| 354 | |
---|
| 355 | .slant { |
---|
| 356 | font-style: oblique; |
---|
| 357 | } |
---|
| 358 | |
---|
| 359 | .badlink { |
---|
| 360 | text-decoration: underline; |
---|
| 361 | color: red; |
---|
| 362 | } |
---|
| 363 | |
---|
| 364 | .plainlink { |
---|
| 365 | text-decoration: none; |
---|
| 366 | color: blue; |
---|
| 367 | } |
---|
| 368 | |
---|
| 369 | .techoutside { text-decoration: underline; color: #b0b0b0; } |
---|
| 370 | .techoutside:hover { text-decoration: underline; color: blue; } |
---|
| 371 | |
---|
| 372 | /* .techinside:hover doesn't work with FF, .techinside:hover> |
---|
| 373 | .techinside doesn't work with IE, so use both (and IE doesn't |
---|
| 374 | work with inherit in the second one, so use blue directly) */ |
---|
| 375 | .techinside { color: black; } |
---|
| 376 | .techinside:hover { color: blue; } |
---|
| 377 | .techoutside:hover>.techinside { color: inherit; } |
---|
| 378 | |
---|
| 379 | .SCentered { |
---|
| 380 | text-align: center; |
---|
| 381 | } |
---|
| 382 | |
---|
| 383 | .imageleft { |
---|
| 384 | float: left; |
---|
| 385 | margin-right: 0.3em; |
---|
| 386 | } |
---|
| 387 | |
---|
| 388 | .Smaller{ |
---|
| 389 | font-size: 82%; |
---|
| 390 | } |
---|
| 391 | |
---|
| 392 | .Larger{ |
---|
| 393 | font-size: 122%; |
---|
| 394 | } |
---|
| 395 | |
---|
| 396 | /* A hack, inserted to break some Scheme ids: */ |
---|
| 397 | .mywbr { |
---|
| 398 | width: 0; |
---|
| 399 | font-size: 1px; |
---|
| 400 | } |
---|
| 401 | |
---|
| 402 | .compact li p { |
---|
| 403 | margin: 0em; |
---|
| 404 | padding: 0em; |
---|
| 405 | } |
---|
| 406 | |
---|
| 407 | .noborder img { |
---|
| 408 | border: 0; |
---|
| 409 | } |
---|
| 410 | |
---|
| 411 | .SAuthorListBox { |
---|
| 412 | position: relative; |
---|
| 413 | float: right; |
---|
| 414 | left: 2em; |
---|
| 415 | top: -2.5em; |
---|
| 416 | height: 0em; |
---|
| 417 | width: 13em; |
---|
| 418 | margin: 0em -13em 0em 0em; |
---|
| 419 | } |
---|
| 420 | .SAuthorList { |
---|
| 421 | font-size: 82%; |
---|
| 422 | } |
---|
| 423 | .SAuthorList:before { |
---|
| 424 | content: "by "; |
---|
| 425 | } |
---|
| 426 | .author { |
---|
| 427 | display: inline; |
---|
| 428 | white-space: nowrap; |
---|
| 429 | } |
---|