1 /**********************************************************/
2 /* GENERAL INFORMATION */
3 /**********************************************************/
5 /* It has been requested that each web manual be styled using a
6 different color. To faciliate that, each manual is being
7 assigned a hue value on the HSB color chart. All specific
8 colors for a manual will be shades and tints of that hue.
23 contributor black doesn't matter - desat
25 /**********************************************************/
26 /* PAGE-WIDE SETTINGS */
27 /**********************************************************/
40 background-color: #fff;
43 /***********************************************************/
45 /***********************************************************/
47 .chapter, .section, .subsection, .subsubsection,
48 .appendix, .appendixsec, .appendixsubsec,
49 .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
50 .subheading, .subsubheading {
51 color: rgb(32, 74, 135);
52 padding-bottom: 0.15em;
68 body.learning .settitle { background-color: #407f40; }
69 body.notation .settitle { background-color: #40657f; }
70 body.usage .settitle { background-color: #7f7f33; }
71 body.extending .settitle { background-color: #7f4040; }
72 body.internals .settitle { background-color: #6a407f; }
73 body.contributor .settitle { background-color: #000000; }
75 .chapter, .appendix, .unnumbered,
76 .section, .appendixsec, .unnumberedsec,
77 .subsection, .appendixsubsec, .unnumberedsubsec,
83 .subheading, .unnumberedsubsubsec {
89 border-top: 1px solid rgb(200, 200, 200);
106 /***********************************************************/
108 /***********************************************************/
126 /***********************************************************/
127 /* BLOCK FORMATTING */
128 /***********************************************************/
130 blockquote, .smallexample {
133 border: solid #b1d281;
134 border-width: 1px 1px 1px 5px;
136 background-color: white;
139 body.learning blockquote, body.learning .smallexample { border-color: #00ff00; }
140 body.notation blockquote, body.notation .smallexample { border-color: #0095ff; }
141 body.usage blockquote, body.usage .smallexample { border-color: #ffff00; }
142 body.extending blockquote, body.extending .smallexample { border-color: #ff0000; }
143 body.internals blockquote, body.internals .smallexample { border-color: #aa00ff; }
144 body.contributor blockquote, body.contributor .smallexample { border-color: #000000; }
146 blockquote p, pre.smallexample {
151 blockquote blockquote {
155 .verbatim, .example, .lisp {
172 border-collapse: collapse;
174 border: 2px solid #8f5902;
178 body.learning table.cartouche { background-color: #cfe5cf; border: 2px solid #7db27d; }
179 body.notation table.cartouche { background-color: #cfdce5; border: 2px solid #7d9cb2; }
180 body.usage table.cartouche { background-color: #e5e2b8; border: 2px solid #b2b27d; }
181 body.extending table.cartouche { background-color: #e5cfcf; border: 2px solid #b27d7d; }
182 body.internals table.cartouche { background-color: #decfe5; border: 2px solid #a17db2; }
183 body.contributor table.cartouche { background-color: #e5e5e5; border: 2px solid #b2b2b2; }
194 /***********************************************************/
196 /***********************************************************/
210 padding: 0 1em 0.5em 0;
218 h1, h2, h3, h4, p, table, address, dt {
243 #main .contents > ul {
247 /***********************************************************/
249 /***********************************************************/
260 background: #dce35cf;
262 list-style-type: none;
267 body.learning div#tocframe { background-color: #cfe5cf; }
268 body.notation div#tocframe { background-color: #cfdce5; }
269 body.usage div#tocframe { background-color: #e5e5b8; }
270 body.extending div#tocframe { background-color: #e5cfcf; }
271 body.internals div#tocframe { background-color: #decfe5; }
272 body.contributor div#tocframe { background-color: #e5e5e5; }
275 body > div#tocframe {
280 div#tocframe a:link, div#tocframe a:visited {
282 text-decoration: none;
285 div#tocframe a:hover {
287 text-decoration: underline;
290 div#tocframe p.toc_uplink {
294 padding: 0.25em 1em 0.25em 0.5em;
295 border-bottom: 1px solid black;
299 div#tocframe p.toc_uplink a:link,
300 div#tocframe p.toc_uplink a:visited {
304 div#tocframe p.toc_uplink a:hover {
313 padding: 0.75em 0.5em 0 0.5em;
317 #tocframe .contents {
318 background-color: transparent;
319 list-style-type: none;
326 padding: 0.25em 0.5em 1em 0.5em;
327 list-style-type: none;
331 #tocframe ul.toc ul.toc {
336 #tocframe ul.toc li {
341 #tocframe ul.toc > li {
345 #tocframe ul.toc li li {
357 background: transparent;
360 /***********************************************************/
362 /***********************************************************/
368 border-collapse: collapse;
374 .nav_table a:link, .nav_table a:visited {
376 text-decoration: none;
381 text-decoration: underline;
384 .nav_table tr, .nav_table a {
398 border-bottom: 1px solid #7b925a;
427 table#navigation td {
428 padding: 0.5em 0.75em;
431 table#navigation ul {
445 border-width: 0 0 5px 0;
450 body.learning .footer { background-color: #407f40; }
451 body.notation .footer { background-color: #40657f; }
452 body.usage .footer { background-color: #7f7f33; }
453 body.extending .footer { background-color: #7f4040; }
454 body.internals .footer { background-color: #6a407f; }
455 body.contributor .footer { background-color: #000000; }
470 /***********************************************************/
471 /* OVERRIDES FOR PRINTING */
472 /***********************************************************/
475 /* Hide the sidebar and make the main contents take up the full width */
476 div#main { position: static; overflow: visible; left: 0; }
477 div#tocframe { display: none; }
478 /* Also don't show the navigation toolbars between all sections */
479 .nav_table { display: none; }
482 /***********************************************************/
483 /* FORMATTING of AJAX SEARCH BOX */
484 /***********************************************************/
488 border-bottom: 1pt solid #C5972C;
494 div#search p, div#search form {
504 #search_results table {
508 /***********************************************************/
510 /***********************************************************/
516 border: 1px solid green;
517 /* Experimental rounded corners */
522 body.learning .warning { border-color: #00ff00; }
523 body.notation .warning { border-color: #0095ff; }
524 body.usage .warning { border-color: #ffff00; }
525 body.extending .warning { border-color: #ff0000; }
526 body.internals .warning { border-color: #aa00ff; }
527 body.contributor .warning { border-color: #000000; }
534 border: 1px solid green;
535 /* Experimental rounded corners */
537 margin: 0.5em 0.5em 2em 3em;