1 /**********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
16 background-color: white;
20 /***********************************************************/
22 /***********************************************************/
24 .chapter, .section, .subsection, .subsubsection,
25 .appendix, .appendixsec, .appendixsubsec,
26 .unnumbered, .unnumberedsec, .unnumberedsubsubsec,
27 .subheading, .subsubheading {
30 border-bottom: 1px dashed black;
31 padding-bottom: 0.15em;
43 border: 1px solid #7b925a;
44 border-width: 0 0 1px 0;
47 .chapter, .appendix, .unnumbered {
51 .section, .appendixsec, .unnumberedsec {
55 .subsection, .appendixsubsec {
59 .subheading, .subsubsection, .unnumberedsubsubsec {
75 /***********************************************************/
77 /***********************************************************/
95 /***********************************************************/
96 /* BLOCK FORMATTING */
97 /***********************************************************/
102 border: 1px solid #7b925a;
103 border-left: 5px solid #a3ca6d;
112 blockquote blockquote {
116 .verbatim, .example .example, .lisp {
136 background: #f5f5dc; /* beige */
139 border: 2px solid #8f5902;
152 /***********************************************************/
154 /***********************************************************/
168 padding: 0 1em 0.5em 0;
176 h1, h2, h3, h4, p, table, address, dt {
186 background-color: #f5f5dc; /* beige */
188 border-top: 1px solid #7b925a;
203 #main .contents > ul {
207 /***********************************************************/
209 /***********************************************************/
220 background-color: #f5f5dc; /* beige */
222 list-style-type: none;
228 body > div#tocframe {
237 background-color: #babdb6;
238 padding: 2px 0 1px 1em;
239 border-bottom: 1px solid #788;
243 #tocframe .contents {
244 background-color: transparent;
245 list-style-type: none;
253 list-style-type: none;
257 #tocframe ul.toc ul.toc {
262 #tocframe ul.toc li {
267 #tocframe ul.toc > li {
271 #tocframe ul.toc li li {
283 background: transparent;
286 /***********************************************************/
288 /***********************************************************/
296 border-bottom: 1px solid #788;
300 .nav_table tr, .nav_table td, .nav_table a {
309 border-bottom: 1px solid #7b925a;
322 background-color: #ddd;
339 table#navigation td {
340 padding: 0.5em 0.75em;
343 table#navigation ul {
371 /***********************************************************/
372 /* OVERRIDES FOR PRINTING */
373 /***********************************************************/
376 /* Hide the sidebar: */
377 body { padding-left: 0; }
378 #tocframe { display: none; }
379 .nav_table { display: none; }