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 {
249 padding-bottom: .5em;
252 /***********************************************************/
254 /***********************************************************/
265 background: #dce35cf;
267 list-style-type: none;
272 body.learning div#tocframe { background-color: #cfe5cf; }
273 body.notation div#tocframe { background-color: #cfdce5; }
274 body.usage div#tocframe { background-color: #e5e5b8; }
275 body.extending div#tocframe { background-color: #e5cfcf; }
276 body.internals div#tocframe { background-color: #decfe5; }
277 body.contributor div#tocframe { background-color: #e5e5e5; }
280 body > div#tocframe {
285 div#tocframe a:link, div#tocframe a:visited {
287 text-decoration: none;
290 div#tocframe a:hover {
292 text-decoration: underline;
295 div#tocframe p.toc_uplink {
299 padding: 0.25em 1em 0.25em 0.5em;
300 border-bottom: 1px solid black;
304 div#tocframe p.toc_uplink a:link,
305 div#tocframe p.toc_uplink a:visited {
309 div#tocframe p.toc_uplink a:hover {
318 padding: 0.75em 0.5em 0 0.5em;
322 #tocframe .contents {
323 background-color: transparent;
324 list-style-type: none;
331 padding: 0.25em 0.5em 1em 0.5em;
332 list-style-type: none;
336 #tocframe ul.toc ul.toc {
341 #tocframe ul.toc li {
346 #tocframe ul.toc > li {
350 #tocframe ul.toc li li {
362 background: transparent;
365 /***********************************************************/
367 /***********************************************************/
373 border-collapse: collapse;
379 .nav_table a:link, .nav_table a:visited {
381 text-decoration: none;
386 text-decoration: underline;
389 .nav_table tr, .nav_table a {
403 border-bottom: 1px solid #7b925a;
432 table#navigation td {
433 padding: 0.5em 0.75em;
436 table#navigation ul {
450 border-width: 0 0 5px 0;
455 body.learning .footer { background-color: #407f40; }
456 body.notation .footer { background-color: #40657f; }
457 body.usage .footer { background-color: #7f7f33; }
458 body.extending .footer { background-color: #7f4040; }
459 body.internals .footer { background-color: #6a407f; }
460 body.contributor .footer { background-color: #000000; }
475 /***********************************************************/
476 /* OVERRIDES FOR PRINTING */
477 /***********************************************************/
480 /* Hide the sidebar and make the main contents take up the full width */
481 div#main { position: static; overflow: visible; left: 0; }
482 div#tocframe { display: none; }
483 /* Also don't show the navigation toolbars between all sections */
484 .nav_table { display: none; }
487 /***********************************************************/
488 /* FORMATTING of AJAX SEARCH BOX */
489 /***********************************************************/
493 border-bottom: 1pt solid #C5972C;
499 div#search p, div#search form {
509 #search_results table {
513 /***********************************************************/
515 /***********************************************************/
521 border: 1px solid green;
522 /* Experimental rounded corners */
527 body.learning .warning { border-color: #00ff00; }
528 body.notation .warning { border-color: #0095ff; }
529 body.usage .warning { border-color: #ffff00; }
530 body.extending .warning { border-color: #ff0000; }
531 body.internals .warning { border-color: #aa00ff; }
532 body.contributor .warning { border-color: #000000; }
539 border: 1px solid green;
540 /* Experimental rounded corners */
542 margin: 0.5em 0.5em 2em 3em;