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 black;
30 padding-bottom: 0.4em;
36 background-color: #eef;
37 border-bottom: 1px solid #3465A4;
56 .unnumberedsubsubsec {
65 /***********************************************************/
67 /***********************************************************/
87 /***********************************************************/
88 /* BLOCK FORMATTING */
89 /***********************************************************/
92 border: thin solid #3465a4;
93 border-width: 0 0 0 2px;
94 margin: 1em 0 1em 3em;
103 blockquote blockquote {
104 border: thick red dashed;
107 .verbatim, .example .example, .lisp {
128 border: 1px solid #3465a4;
144 /***********************************************************/
146 /***********************************************************/
160 padding: 0 1em 0.5em 0;
167 h1, h2, h3, h4, p, table, address, dt {
188 /***********************************************************/
190 /***********************************************************/
201 background-color: #f9f9ff;
203 list-style-type: none;
208 /* position: fixed for savvy browsers */
211 body > div#tocframe {
217 #tocframe a:link, #tocframe a:visited {
218 text-decoration: none;
222 text-decoration: underline;
230 background-color: #eef;
231 padding: 2px 0 1px 1em;
232 border-bottom: 1px solid #3465A4;
236 #tocframe .contents {
237 background-color: transparent;
238 list-style-type: none;
246 list-style-type: none;
250 #tocframe ul.toc ul.toc {
255 #tocframe ul.toc li {
260 #tocframe ul.toc > li {
264 #tocframe ul.toc li li {
276 background: transparent;
280 /***********************************************************/
282 /***********************************************************/
285 background-color: #eef;
286 border: 1px solid #3465A4;
287 border-width: 0 0 1px 0;
295 background-color: #be6;
308 background-color: #ddd;
310 border-top: 5px solid #899;
311 border-bottom: 1px solid #9aa;
327 table#navigation td {
328 padding: 0.5em 0.75em;
331 table#navigation ul {
341 background-color: #fff;
359 /***********************************************************/
360 /* OVERRIDES FOR PRINTING */
361 /***********************************************************/
364 body { padding-left: 0; font: 10pt Georgia, Garamond, serif;}
365 /* Hide the sidebar: */
366 #tocframe { display: none; }
367 .nav_table { display: none; }
368 /* Let #main expand to fill the new space */
369 div#main { position: static; left: 0; }