1 /**********************************************************/
2 /* GENERAL INFORMATION */
3 /**********************************************************/
5 /* Each web manual is styled using a different color. Each
6 one has been assigned a hue value on the HSB color chart.
7 All specific colors for a manual are shades and tints
10 The brown of the usage manual does not follow this scheme.
11 Neither does the 'default' olive green of the glossary,
12 essay, snippets, and changes manuals.
27 contributor black doesn't matter - desat
29 /**********************************************************/
30 /* PAGE-WIDE SETTINGS */
31 /**********************************************************/
44 background-color: #fff;
47 /***********************************************************/
49 /***********************************************************/
51 .chapter, .section, .subsection, .subsubsection,
52 .appendix, .appendixsec, .appendixsubsec,
53 .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
54 .subheading, .subsubheading {
55 color: rgb(32, 74, 135);
56 padding-bottom: 0.15em;
68 .chapter, .appendix, .unnumbered,
69 .section, .appendixsec, .unnumberedsec,
70 .subsection, .appendixsubsec, .unnumberedsubsec,
76 .subheading, .unnumberedsubsubsec {
82 border-top: 1px solid rgb(200, 200, 200);
99 /***********************************************************/
101 /***********************************************************/
119 /***********************************************************/
120 /* BLOCK FORMATTING */
121 /***********************************************************/
127 border: solid #d5d7d6;
128 border-width: 1px 1px 1px 3px;
131 background-color: white;
134 blockquote p, pre.smallexample {
139 blockquote blockquote {
143 .verbatim, .example, .lisp {
160 border-collapse: collapse;
162 border: 1px solid #c8c8c8;
175 /***********************************************************/
177 /***********************************************************/
191 padding: 0 1em 0.5em 0;
199 h1, h2, h3, h4, p, table, address, dt {
225 #main .contents > ul {
235 padding-bottom: .5em;
238 /***********************************************************/
240 /***********************************************************/
253 list-style-type: none;
258 body.learning #tocframe { background-color: #407f40; }
259 body.notation #tocframe { background-color: #40657f; }
260 body.usage #tocframe { background-color: #7d765a; }
261 body.extending #tocframe { background-color: #7f4040; }
262 body.internals #tocframe { background-color: #6a407f; }
263 body.contributor #tocframe { background-color: #333333; }
266 body > div#tocframe {
272 div#tocframe a:visited {
274 text-decoration: none;
277 div#tocframe a:hover {
279 text-decoration: underline;
282 div#tocframe p.toc_uplink {
285 padding: 0.25em 1em 0.25em 0.5em;
294 padding: 0.75em 0.5em 0 0.5em;
298 #tocframe .contents {
299 background-color: transparent;
300 list-style-type: none;
307 padding: 0.25em 0.5em 1em 0.5em;
308 list-style-type: none;
312 #tocframe ul.toc ul.toc {
317 #tocframe ul.toc li {
322 #tocframe ul.toc > li {
326 #tocframe ul.toc li li {
338 background: transparent;
341 /***********************************************************/
343 /***********************************************************/
347 background-color: #d5d7d6;
350 border-collapse: separate;
357 .nav_table a:visited {
359 text-decoration: none;
364 text-decoration: underline;
382 border-bottom: 1px solid #7b925a;
411 table#navigation td {
412 padding: 0.5em 0.75em;
415 table#navigation ul {
439 /***********************************************************/
440 /* OVERRIDES FOR PRINTING */
441 /***********************************************************/
444 /* Hide the sidebar and make the main contents take up the full width */
445 div#main { position: static; overflow: visible; left: 0; }
446 div#tocframe { display: none; }
447 /* Also don't show the navigation toolbars between all sections */
448 .nav_table { display: none; }
451 /***********************************************************/
452 /* FORMATTING of AJAX SEARCH BOX */
453 /***********************************************************/
457 border-bottom: 1pt solid #C5972C;
463 div#search p, div#search form {
473 #search_results table {
477 /***********************************************************/
479 /***********************************************************/
485 border: 1px solid #c8c8c8;
494 border: 1px solid #c8c8c8;
496 margin: 0.5em 0.5em 2em 3em;