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, .lisp {
123 border: 1px solid #3465a4;
124 border-width: 0 0 0 2px;
127 margin: 1em 0 1em 3em;
139 /***********************************************************/
141 /***********************************************************/
155 padding: 0 1em 0.5em 0;
162 h1, h2, h3, h4, p, table, address, dt {
187 /***********************************************************/
189 /***********************************************************/
192 background-color: #F9FCFF;
195 list-style-type: none;
207 /* position: fixed for savvy browsers */
210 body > div#tocframe {
216 background-color: #eef;
217 border: 1px solid #3465A4;
218 border-width: 0 0 1px 0;
224 padding: 8px 0 0 6px;
227 #tocframe .contents {
228 background-color: transparent;
230 list-style-type: none;
236 list-style-type: none;
241 #tocframe ul.toc ul.toc {
246 #tocframe ul.toc li {
251 #tocframe ul.toc > li {
255 #tocframe ul.toc li li {
265 background: transparent;
271 /***********************************************************/
273 /***********************************************************/
276 background-color: #eef;
277 border: 1px solid #3465A4;
278 border-width: 0 0 1px 0;
286 background-color: #dde;
287 margin: 0.75em 0 0 0;
292 padding: 0.5em 0 0.5em 1em;
296 background-color: #eef;
302 padding: 1em 0 1em 2em;
307 margin: 1em 0 1em 3em;
311 table#navigation td {
312 padding: 0.5em 0.75em;
315 table#navigation ul {
325 background-color: #eef;
326 border: 1px solid #3465A4;
327 border-width: 0 0 1px 0;
344 /***********************************************************/
345 /* OVERRIDES FOR PRINTING */
346 /***********************************************************/
349 body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
350 /* Hide the sidebar: */
351 #tocframe { display: none; }
352 .nav_table { display: none; }
353 /* Let #main expand to fill the new space */
354 div#main { position: static; left: 0; }