1 /**********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
16 background-color: #fff;
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;
39 border: solid #7b925a;
44 .chapter, .appendix, .unnumbered {
48 .section, .appendixsec, .unnumberedsec {
52 .subsection, .appendixsubsec, .unnumberedsubsec {
56 .subheading, .subsubsection, .unnumberedsubsubsec {
72 /***********************************************************/
74 /***********************************************************/
92 /***********************************************************/
93 /* BLOCK FORMATTING */
94 /***********************************************************/
96 blockquote, .smallexample {
99 border: solid #b1d281;
100 border-width: 1px 1px 1px 5px;
104 blockquote p, pre.smallexample {
109 blockquote blockquote {
113 .verbatim, .example .example, .lisp {
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 {
199 #main .contents > ul {
203 /***********************************************************/
205 /***********************************************************/
218 list-style-type: none;
224 body > div#tocframe {
229 div#tocframe a:link, div#tocframe a:visited {
231 text-decoration: none;
234 div#tocframe a:hover {
236 text-decoration: underline;
239 div#tocframe p.toc_uplink {
243 padding: 0.25em 1em 0.25em 0.5em;
244 border-bottom: 1px solid #a0a087;
248 div#tocframe p.toc_uplink a:link,
249 div#tocframe p.toc_uplink a:visited {
253 div#tocframe p.toc_uplink a:hover {
262 padding: 0.75em 0.5em 0 0.5em;
266 #tocframe .contents {
267 background-color: transparent;
268 list-style-type: none;
275 padding: 0.25em 0.5em 1em 0.5em;
276 list-style-type: none;
280 #tocframe ul.toc ul.toc {
285 #tocframe ul.toc li {
290 #tocframe ul.toc > li {
294 #tocframe ul.toc li li {
306 background: transparent;
309 /***********************************************************/
311 /***********************************************************/
317 border-collapse: collapse;
323 .nav_table a:link, .nav_table a:visited {
325 text-decoration: none;
330 text-decoration: underline;
333 .nav_table tr, .nav_table a {
347 border-bottom: 1px solid #7b925a;
376 table#navigation td {
377 padding: 0.5em 0.75em;
380 table#navigation ul {
393 border: solid #b1d281;
394 border-width: 0 0 5px 0;
411 /***********************************************************/
412 /* OVERRIDES FOR PRINTING */
413 /***********************************************************/
416 /* Hide the sidebar: */
417 body { padding-left: 0; }
418 #tocframe { display: none; }
419 .nav_table { display: none; }