1 /**********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
16 background-color: white;
19 /***********************************************************/
21 /***********************************************************/
23 .chapter, .section, .subsection, .subsubsection,
24 .appendix, .appendixsec, .appendixsubsec,
25 .unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
26 .subheading, .subsubheading {
28 border-bottom: 1px dashed black;
29 padding-bottom: 0.15em;
40 border: 1px solid #7b925a;
41 border-width: 0 0 1px 0;
44 .chapter, .appendix, .unnumbered {
48 .section, .appendixsec, .unnumberedsec {
52 .subsection, .appendixsubsec, .unnumberedsubsec {
56 .subheading, .subsubsection, .unnumberedsubsubsec {
72 /***********************************************************/
74 /***********************************************************/
92 /***********************************************************/
93 /* BLOCK FORMATTING */
94 /***********************************************************/
99 border: 1px solid #708a4b;
100 border-left: 5px solid #a3ca6d;
109 blockquote blockquote {
113 .verbatim, .example .example, .lisp {
133 background: #f5f5dc; /* beige */
135 border-collapse: collapse;
137 border: 2px solid #8f5902;
150 /***********************************************************/
152 /***********************************************************/
166 padding: 0 1em 0.5em 0;
174 h1, h2, h3, h4, p, table, address, dt {
184 background-color: #f5f5dc; /* beige */
186 border-top: 1px solid #8fa77f;
201 #main .contents > ul {
205 /***********************************************************/
207 /***********************************************************/
218 background-color: #f5f5dc; /* beige */
220 list-style-type: none;
226 body > div#tocframe {
231 div#tocframe p.toc_uplink {
236 border-bottom: 1px solid #8a8c87;
245 /* background: #c9ccc4; */
246 /* padding: 0.25em 1em; */
247 padding: 0.75em 0.5em 0 0.5em;
248 /* border-bottom: 1px solid #8a8c87; */
252 #tocframe .contents {
253 background-color: transparent;
254 list-style-type: none;
261 padding: 0.25em 0.5em 1em 0.5em;
262 list-style-type: none;
266 #tocframe ul.toc ul.toc {
271 #tocframe ul.toc li {
276 #tocframe ul.toc > li {
280 #tocframe ul.toc li li {
292 background: transparent;
295 /***********************************************************/
297 /***********************************************************/
304 border-collapse: collapse;
307 border-bottom: 1px solid #8a8c87;
311 .nav_table tr, .nav_table a {
325 border-bottom: 1px solid #7b925a;
337 background-color: #ddd;
354 table#navigation td {
355 padding: 0.5em 0.75em;
358 table#navigation ul {
384 /***********************************************************/
385 /* OVERRIDES FOR PRINTING */
386 /***********************************************************/
389 /* Hide the sidebar: */
390 body { padding-left: 0; }
391 #tocframe { display: none; }
392 .nav_table { display: none; }