1 body
{font-family: Georgia
, serif
;
3 padding-left: 5em; padding-right: 1em;
4 padding-bottom: 1em; max-width: 60em;}
5 table
{border-collapse: collapse
}
6 span
.roman
{ font-family: century schoolbook
, serif
; font-weight: normal
; }
7 h1
, h2
, h3
, h4
, h5
, h6
{font-family: Helvetica
, sans-serif
}
8 h4
{ margin-top: 2.5em; }
9 dfn
{font-family: inherit
; font-variant: italic
; font-weight: bolder
}
10 kbd
{font-family: monospace
; text-decoration: underline
}
11 /*var {font-family: Helvetica, sans-serif; font-variant: slanted}*/
12 var
{font-variant: slanted
;}
13 td
{padding-right: 1em; padding-left: 1em}
14 sub
{font-size: smaller
}
15 .node {padding: 0; margin: 0}
17 pre
.lisp
{ font-family: monospace
;
18 background-color: #F4F4F4; border: 1px solid
#AAA;
19 padding-top: 0.5em; padding-bottom: 0.5em; }
23 .lisp-bg { background-color: #F4F4F4 ; color: black
; }
24 .lisp-bg:hover { background-color: #F4F4F4 ; color: black
; }
26 .symbol { font-weight: bold
; color: #770055; background-color : transparent
; border: 0px; margin: 0px;}
27 a
.symbol:link
{ font-weight: bold
; color : #229955; background-color : transparent
; text-decoration: none
; border: 0px; margin: 0px; }
28 a
.symbol:active
{ font-weight: bold
; color : #229955; background-color : transparent
; text-decoration: none
; border: 0px; margin: 0px; }
29 a
.symbol:visited
{ font-weight: bold
; color : #229955; background-color : transparent
; text-decoration: none
; border: 0px; margin: 0px; }
30 a
.symbol:hover
{ font-weight: bold
; color : #229955; background-color : transparent
; text-decoration: none
; border: 0px; margin: 0px; }
31 .special { font-weight: bold
; color: #FF5000; background-color: inherit
; }
32 .keyword { font-weight: bold
; color: #770000; background-color: inherit
; }
33 .comment { font-weight: normal
; color: #007777; background-color: inherit
; }
34 .string { font-weight: bold
; color: #777777; background-color: inherit
; }
35 .character { font-weight: bold
; color: #0055AA; background-color: inherit
; }
36 .syntaxerror { font-weight: bold
; color: #FF0000; background-color: inherit
; }
37 span
.paren1
{ font-weight: bold
; color: #777777; }
38 span
.paren1:hover
{ color: #777777; background-color: #BAFFFF; }
39 span
.paren2
{ color: #777777; }
40 span
.paren2:hover
{ color: #777777; background-color: #FFCACA; }
41 span
.paren3
{ color: #777777; }
42 span
.paren3:hover
{ color: #777777; background-color: #FFFFBA; }
43 span
.paren4
{ color: #777777; }
44 span
.paren4:hover
{ color: #777777; background-color: #CACAFF; }
45 span
.paren5
{ color: #777777; }
46 span
.paren5:hover
{ color: #777777; background-color: #CAFFCA; }
47 span
.paren6
{ color: #777777; }
48 span
.paren6:hover
{ color: #777777; background-color: #FFBAFF; }