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 /***********************************************************/
99 border: solid
#b1d281;
100 border-width: 1px 1px 1px 5px;
109 blockquote blockquote
{
113 .verbatim, .example .example, .lisp {
135 border-collapse: collapse
;
137 border: 2px solid
#8f5902;
150 /***********************************************************/
152 /***********************************************************/
166 padding: 0 1em 0.5em 0;
174 h1
, h2
, h3
, h4
, p
, table
, address
, dt
{
199 #main .contents
> ul
{
203 /***********************************************************/
205 /***********************************************************/
218 list-style-type: none
;
224 body
> div#tocframe
{
229 div#tocframe
a:link
, div#tocframe
a:visited
{
231 text-decoration: none
;
234 div#tocframe
a:hover
{
236 text-decoration: underline
;
239 div#tocframe p
.toc_uplink
{
243 padding: 0.25em 1em 0.25em 0.5em;
244 border-bottom: 1px solid
#a0a087;
248 div#tocframe p
.toc_uplink
a:link
,
249 div#tocframe p
.toc_uplink
a:visited
{
253 div#tocframe p
.toc_uplink
a:hover
{
262 padding: 0.75em 0.5em 0 0.5em;
266 #tocframe .contents
{
267 background-color: transparent
;
268 list-style-type: none
;
275 padding: 0.25em 0.5em 1em 0.5em;
276 list-style-type: none
;
280 #tocframe ul
.toc ul
.toc
{
285 #tocframe ul
.toc li
{
290 #tocframe ul
.toc
> li
{
294 #tocframe ul
.toc li li
{
306 background: transparent
;
309 /***********************************************************/
311 /***********************************************************/
317 border-collapse: collapse
;
323 .nav_table a:link, .nav_table a:visited {
325 text-decoration: none
;
330 text-decoration: underline
;
333 .nav_table tr, .nav_table a {
347 border-bottom: 1px solid
#7b925a;
376 table#navigation td
{
377 padding: 0.5em 0.75em;
380 table#navigation ul
{
393 border: solid
#b1d281;
394 border-width: 0 0 5px 0;
411 /***********************************************************/
412 /* OVERRIDES FOR PRINTING */
413 /***********************************************************/
416 /* Hide the sidebar: */
417 body
{ padding-left: 0; }
418 #tocframe { display: none
; }
419 .nav_table { display: none
; }