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, .lisp {
130 border-collapse: collapse;
132 border: 2px solid #8f5902;
145 /***********************************************************/
147 /***********************************************************/
161 padding: 0 1em 0.5em 0;
169 h1, h2, h3, h4, p, table, address, dt {
194 #main .contents > ul {
198 /***********************************************************/
200 /***********************************************************/
213 list-style-type: none;
219 body > div#tocframe {
224 div#tocframe a:link, div#tocframe a:visited {
226 text-decoration: none;
229 div#tocframe a:hover {
231 text-decoration: underline;
234 div#tocframe p.toc_uplink {
238 padding: 0.25em 1em 0.25em 0.5em;
239 border-bottom: 1px solid #a0a087;
243 div#tocframe p.toc_uplink a:link,
244 div#tocframe p.toc_uplink a:visited {
248 div#tocframe p.toc_uplink a:hover {
257 padding: 0.75em 0.5em 0 0.5em;
261 #tocframe .contents {
262 background-color: transparent;
263 list-style-type: none;
270 padding: 0.25em 0.5em 1em 0.5em;
271 list-style-type: none;
275 #tocframe ul.toc ul.toc {
280 #tocframe ul.toc li {
285 #tocframe ul.toc > li {
289 #tocframe ul.toc li li {
301 background: transparent;
304 /***********************************************************/
306 /***********************************************************/
312 border-collapse: collapse;
318 .nav_table a:link, .nav_table a:visited {
320 text-decoration: none;
325 text-decoration: underline;
328 .nav_table tr, .nav_table a {
342 border-bottom: 1px solid #7b925a;
371 table#navigation td {
372 padding: 0.5em 0.75em;
375 table#navigation ul {
388 border: solid #b1d281;
389 border-width: 0 0 5px 0;
406 /***********************************************************/
407 /* OVERRIDES FOR PRINTING */
408 /***********************************************************/
411 /* Hide the sidebar: */
412 body { padding-left: 0; }
413 #tocframe { display: none; }
414 .nav_table { display: none; }
418 /***********************************************************/
420 /***********************************************************/
426 border: 1px solid green;
427 /* Experimental rounded corners */
428 -moz-border-radius: 10px;
429 -webkit-border-radius: 10px;