1 /**********************************************************/
2 /* PAGE-WIDE SETTINGS */
3 /**********************************************************/
10 background-color: white;
20 /***********************************************************/
22 /***********************************************************/
24 .chapter, .section, .subsection,
25 .appendix, .appendixsec, .appendixsubsec,
26 .unnumberedsubsubsec, .subsubheading,
27 .unnumbered, .subheading {
28 border-bottom: 1px dashed #bbb;
31 padding-bottom: 0.4em;
35 background-color: #eef;
36 border-bottom: 1px solid #3465A4;
57 .unnumberedsubsubsec {
68 /***********************************************************/
70 /***********************************************************/
90 /***********************************************************/
91 /* BLOCK FORMATTING */
92 /***********************************************************/
94 blockquote, .smallexample {
95 border: thin solid #3465a4;
96 border-width: 0 0 0 2px;
97 margin: 1em 0 1em 3em;
101 blockquote p, pre.smallexample {
106 blockquote blockquote {
108 /* border: thick red dashed; */
111 .verbatim, .example .example, .lisp {
128 border: 1px solid #3465a4;
129 border-width: 0 0 0 2px;
132 margin: 1em 0 1em 3em;
144 /***********************************************************/
146 /***********************************************************/
160 padding: 0 1em 0.5em 0;
167 h1, h2, h3, h4, p, table, address, dt {
192 /***********************************************************/
194 /***********************************************************/
197 background-color: #F9FCFF;
200 list-style-type: none;
212 /* position: fixed for savvy browsers */
215 body > div#tocframe {
221 background-color: #eef;
222 border: 1px solid #3465A4;
223 border-width: 0 0 1px 0;
229 padding: 8px 0 0 6px;
232 #tocframe .contents {
233 background-color: transparent;
235 list-style-type: none;
241 list-style-type: none;
246 #tocframe ul.toc ul.toc {
251 #tocframe ul.toc li {
256 #tocframe ul.toc > li {
260 #tocframe ul.toc li li {
270 background: transparent;
276 /***********************************************************/
278 /***********************************************************/
281 background-color: #eef;
282 border: 1px solid #3465A4;
283 border-width: 0 0 1px 0;
291 background-color: #dde;
292 margin: 0.75em 0 0 0;
297 padding: 0.5em 0 0.5em 1em;
301 background-color: #eef;
307 padding: 1em 0 1em 2em;
312 margin: 1em 0 1em 3em;
316 table#navigation td {
317 padding: 0.5em 0.75em;
320 table#navigation ul {
330 background-color: #eef;
331 border: 1px solid #3465A4;
332 border-width: 0 0 1px 0;
349 /***********************************************************/
350 /* OVERRIDES FOR PRINTING */
351 /***********************************************************/
354 body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
355 /* Hide the sidebar: */
356 #tocframe { display: none; }
357 .nav_table { display: none; }
358 /* Let #main expand to fill the new space */
359 div#main { position: static; left: 0; }