DrRacket/advanced_files/scribble.css

   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 }