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 {
52 border-bottom: 1px dashed black;
53 padding-bottom: 0.15em;
69 body.learning .settitle { background-color: #407f40; }
70 body.notation .settitle { background-color: #40657f; }
71 body.usage .settitle { background-color: #7f7f33; }
72 body.extending .settitle { background-color: #7f4040; }
73 body.internals .settitle { background-color: #6a407f; }
74 body.contributor .settitle { background-color: #000000; }
76 .chapter, .appendix, .unnumbered {
80 .section, .appendixsec, .unnumberedsec {
84 .subsection, .appendixsubsec, .unnumberedsubsec {
88 .subheading, .subsubsection, .unnumberedsubsubsec {
104 /***********************************************************/
106 /***********************************************************/
124 /***********************************************************/
125 /* BLOCK FORMATTING */
126 /***********************************************************/
128 blockquote, .smallexample {
131 border: solid #b1d281;
132 border-width: 1px 1px 1px 5px;
134 background-color: white;
137 body.learning blockquote, body.learning .smallexample { border-color: #00ff00; }
138 body.notation blockquote, body.notation .smallexample { border-color: #0095ff; }
139 body.usage blockquote, body.usage .smallexample { border-color: #ffff00; }
140 body.extending blockquote, body.extending .smallexample { border-color: #ff0000; }
141 body.internals blockquote, body.internals .smallexample { border-color: #aa00ff; }
142 body.contributor blockquote, body.contributor .smallexample { border-color: #000000; }
144 blockquote p, pre.smallexample {
149 blockquote blockquote {
153 .verbatim, .example, .lisp {
170 border-collapse: collapse;
172 border: 2px solid #8f5902;
176 body.learning table.cartouche { background-color: #cfe5cf; border: 2px solid #7db27d; }
177 body.notation table.cartouche { background-color: #cfdce5; border: 2px solid #7d9cb2; }
178 body.usage table.cartouche { background-color: #e5e2b8; border: 2px solid #b2b27d; }
179 body.extending table.cartouche { background-color: #e5cfcf; border: 2px solid #b27d7d; }
180 body.internals table.cartouche { background-color: #decfe5; border: 2px solid #a17db2; }
181 body.contributor table.cartouche { background-color: #e5e5e5; border: 2px solid #b2b2b2; }
192 /***********************************************************/
194 /***********************************************************/
208 padding: 0 1em 0.5em 0;
216 h1, h2, h3, h4, p, table, address, dt {
241 #main .contents > ul {
245 /***********************************************************/
247 /***********************************************************/
258 background: #dce35cf;
260 list-style-type: none;
265 body.learning div#tocframe { background-color: #cfe5cf; }
266 body.notation div#tocframe { background-color: #cfdce5; }
267 body.usage div#tocframe { background-color: #e5e5b8; }
268 body.extending div#tocframe { background-color: #e5cfcf; }
269 body.internals div#tocframe { background-color: #decfe5; }
270 body.contributor div#tocframe { background-color: #e5e5e5; }
273 body > div#tocframe {
278 div#tocframe a:link, div#tocframe a:visited {
280 text-decoration: none;
283 div#tocframe a:hover {
285 text-decoration: underline;
288 div#tocframe p.toc_uplink {
292 padding: 0.25em 1em 0.25em 0.5em;
293 border-bottom: 1px solid black;
297 div#tocframe p.toc_uplink a:link,
298 div#tocframe p.toc_uplink a:visited {
302 div#tocframe p.toc_uplink a:hover {
311 padding: 0.75em 0.5em 0 0.5em;
315 #tocframe .contents {
316 background-color: transparent;
317 list-style-type: none;
324 padding: 0.25em 0.5em 1em 0.5em;
325 list-style-type: none;
329 #tocframe ul.toc ul.toc {
334 #tocframe ul.toc li {
339 #tocframe ul.toc > li {
343 #tocframe ul.toc li li {
355 background: transparent;
358 /***********************************************************/
360 /***********************************************************/
366 border-collapse: collapse;
372 .nav_table a:link, .nav_table a:visited {
374 text-decoration: none;
379 text-decoration: underline;
382 .nav_table tr, .nav_table a {
396 border-bottom: 1px solid #7b925a;
425 table#navigation td {
426 padding: 0.5em 0.75em;
429 table#navigation ul {
443 border-width: 0 0 5px 0;
448 body.learning .footer { background-color: #407f40; }
449 body.notation .footer { background-color: #40657f; }
450 body.usage .footer { background-color: #7f7f33; }
451 body.extending .footer { background-color: #7f4040; }
452 body.internals .footer { background-color: #6a407f; }
453 body.contributor .footer { background-color: #000000; }
468 /***********************************************************/
469 /* OVERRIDES FOR PRINTING */
470 /***********************************************************/
473 /* Hide the sidebar and make the main contents take up the full width */
474 div#main { position: static; overflow: visible; left: 0; }
475 div#tocframe { display: none; }
476 /* Also don't show the navigation toolbars between all sections */
477 .nav_table { display: none; }
480 /***********************************************************/
481 /* FORMATTING of AJAX SEARCH BOX */
482 /***********************************************************/
486 border-bottom: 1pt solid #C5972C;
492 div#search p, div#search form {
502 #search_results table {
506 /***********************************************************/
508 /***********************************************************/
514 border: 1px solid green;
515 /* Experimental rounded corners */
520 body.learning .warning { border-color: #00ff00; }
521 body.notation .warning { border-color: #0095ff; }
522 body.usage .warning { border-color: #ffff00; }
523 body.extending .warning { border-color: #ff0000; }
524 body.internals .warning { border-color: #aa00ff; }
525 body.contributor .warning { border-color: #000000; }
532 border: 1px solid green;
533 /* Experimental rounded corners */
535 margin: 0.5em 0.5em 2em 3em;