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 /***********************************************************/
95 border: thin solid
#3465a4;
96 border-width: 0 0 0 2px;
97 margin: 1em 0 1em 3em;
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; }