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: #81613e; }
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 .contents > ul.toc > li {
330 #tocframe ul.toc li li {
342 background: transparent;
345 /***********************************************************/
347 /***********************************************************/
351 background-color: #d5d7d6;
354 border-collapse: separate;
361 .nav_table a:visited {
363 text-decoration: none;
368 text-decoration: underline;
386 border-bottom: 1px solid #7b925a;
415 table#navigation td {
416 padding: 0.5em 0.75em;
419 table#navigation ul {
443 /***********************************************************/
444 /* OVERRIDES FOR PRINTING */
445 /***********************************************************/
448 /* Hide the sidebar and make the main contents take up the full width */
449 div#main { position: static; overflow: visible; left: 0; }
450 div#tocframe { display: none; }
451 /* Also don't show the navigation toolbars between all sections */
452 .nav_table { display: none; }
455 /***********************************************************/
456 /* FORMATTING of AJAX SEARCH BOX */
457 /***********************************************************/
461 border-bottom: 1pt solid #C5972C;
467 div#search p, div#search form {
477 #search_results table {
481 /***********************************************************/
483 /***********************************************************/
489 border: 1px solid #c8c8c8;
498 border: 1px solid #c8c8c8;
500 margin: 0.5em 0.5em 2em 3em;
503 /***********************************************************/
504 /* RESPONSIVE DESIGN */
505 /***********************************************************/
507 @media (min-width: 1280px) {