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 /* Documentation-specific page-wide settings */
45 body.learning { background-color: #ccffcc; }
46 body.notation { background-color: #cceeff; }
47 body.usage { background-color: #fff6cc; }
48 body.extending { background-color: #ffcccc; }
49 body.internals { background-color: #eeccff; }
50 body.contributor { background-color: #cccccc; }
52 /***********************************************************/
54 /***********************************************************/
56 .chapter, .section, .subsection, .subsubsection,
57 .appendix, .appendixsec, .appendixsubsec,
58 .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
59 .subheading, .subsubheading {
61 border-bottom: 1px dashed black;
62 padding-bottom: 0.15em;
78 body.learning .settitle { background-color: #00bf00; }
79 body.notation .settitle { background-color: #0070bf; }
80 body.usage .settitle { background-color: #bf9f00; }
81 body.extending .settitle { background-color: #bf0000; }
82 body.internals .settitle { background-color: #7f00bf; }
83 body.contributor .settitle { background-color: #000000; }
85 .chapter, .appendix, .unnumbered {
89 .section, .appendixsec, .unnumberedsec {
93 .subsection, .appendixsubsec, .unnumberedsubsec {
97 .subheading, .subsubsection, .unnumberedsubsubsec {
113 /***********************************************************/
115 /***********************************************************/
133 /***********************************************************/
134 /* BLOCK FORMATTING */
135 /***********************************************************/
137 blockquote, .smallexample {
140 border: solid #b1d281;
141 border-width: 1px 1px 1px 5px;
143 background-color: white;
146 body.learning blockquote, body.learning .smallexample { border-color: #00ff00; }
147 body.notation blockquote, body.notation .smallexample { border-color: #0095ff; }
148 body.usage blockquote, body.usage .smallexample { border-color: #ffd400; }
149 body.extending blockquote, body.extending .smallexample { border-color: #ff0000; }
150 body.internals blockquote, body.internals .smallexample { border-color: #aa00ff; }
151 body.contributor blockquote, body.contributor .smallexample { border-color: #000000; }
153 blockquote p, pre.smallexample {
158 blockquote blockquote {
162 .verbatim, .example, .lisp {
179 border-collapse: collapse;
181 border: 2px solid #8f5902;
185 body.learning table.cartouche { background-color: #7fff7f; border: 2px solid #00bf00; }
186 body.notation table.cartouche { background-color: #7fcaff; border: 2px solid #0070bf; }
187 body.usage table.cartouche { background-color: #ffea7f; border: 2px solid #bf9f00; }
188 body.extending table.cartouche { background-color: #ff7f7f; border: 2px solid #bf0000; }
189 body.internals table.cartouche { background-color: #d47fff; border: 2px solid #7f00bf; }
190 body.contributor table.cartouche { background-color: #aaaaaa; border: 2px solid #000000; }
201 /***********************************************************/
203 /***********************************************************/
217 padding: 0 1em 0.5em 0;
225 h1, h2, h3, h4, p, table, address, dt {
250 #main .contents > ul {
254 /***********************************************************/
256 /***********************************************************/
269 list-style-type: none;
274 body.learning div#tocframe { background-color: #00bf00; }
275 body.notation div#tocframe { background-color: #0070bf; }
276 body.usage div#tocframe { background-color: #bf9f00; }
277 body.extending div#tocframe { background-color: #bf0000; }
278 body.internals div#tocframe { background-color: #7f00bf; }
279 body.contributor div#tocframe { background-color: #000000; }
282 body > div#tocframe {
287 div#tocframe a:link, div#tocframe a:visited {
289 text-decoration: none;
292 div#tocframe a:hover {
294 text-decoration: underline;
297 div#tocframe p.toc_uplink {
301 padding: 0.25em 1em 0.25em 0.5em;
302 border-bottom: 1px solid #a0a087;
306 div#tocframe p.toc_uplink a:link,
307 div#tocframe p.toc_uplink a:visited {
311 div#tocframe p.toc_uplink a:hover {
320 padding: 0.75em 0.5em 0 0.5em;
324 #tocframe .contents {
325 background-color: transparent;
326 list-style-type: none;
333 padding: 0.25em 0.5em 1em 0.5em;
334 list-style-type: none;
338 #tocframe ul.toc ul.toc {
343 #tocframe ul.toc li {
348 #tocframe ul.toc > li {
352 #tocframe ul.toc li li {
364 background: transparent;
367 /***********************************************************/
369 /***********************************************************/
375 border-collapse: collapse;
381 .nav_table a:link, .nav_table a:visited {
383 text-decoration: none;
388 text-decoration: underline;
391 .nav_table tr, .nav_table a {
405 border-bottom: 1px solid #7b925a;
434 table#navigation td {
435 padding: 0.5em 0.75em;
438 table#navigation ul {
452 border-width: 0 0 5px 0;
456 body.learning { background-color: #ccffcc; }
457 body.notation { background-color: #cceeff; }
458 body.usage { background-color: #fff6cc; }
459 body.extending { background-color: #ffcccc; }
460 body.internals { background-color: #eeccff; }
461 body.contributor { background-color: #cccccc; }
464 body.learning .footer { background-color: #00bf00; color: #ccffcc; }
465 body.notation .footer { background-color: #0070bf; color: #cceeff; }
466 body.usage .footer { background-color: #bf9f00; color: #fff6cc; }
467 body.extending .footer { background-color: #bf0000; color: #ffcccc; }
468 body.internals .footer { background-color: #7f00bf; color: #eeccff; }
469 body.contributor .footer { background-color: #000000; color: #cccccc; }
484 /***********************************************************/
485 /* OVERRIDES FOR PRINTING */
486 /***********************************************************/
489 /* Hide the sidebar and make the main contents take up the full width */
490 div#main { position: static; overflow: visible; left: 0; }
491 div#tocframe { display: none; }
492 /* Also don't show the navigation toolbars between all sections */
493 .nav_table { display: none; }
496 /***********************************************************/
497 /* FORMATTING of AJAX SEARCH BOX */
498 /***********************************************************/
502 border-bottom: 1pt solid #C5972C;
508 div#search p, div#search form {
518 #search_results table {
522 /***********************************************************/
524 /***********************************************************/
530 border: 1px solid green;
531 /* Experimental rounded corners */
532 -moz-border-radius: 10px;
533 -webkit-border-radius: 10px;
537 body.learning .warning { border-color: #00ff00; }
538 body.notation .warning { border-color: #0095ff; }
539 body.usage .warning { border-color: #ffd400; }
540 body.extending .warning { border-color: #ff0000; }
541 body.internals .warning { border-color: #aa00ff; }
542 body.contributor .warning { border-color: #000000; }
549 border: 1px solid green;
550 /* Experimental rounded corners */
551 -moz-border-radius: 10px;
552 -webkit-border-radius: 10px;
553 margin: 0.5em 0.5em 2em 3em;