doc/style.css

   1 body {font-family: century schoolbook, serif;
   2       line-height: 1.3;
   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}
  16
  17 .lisp { font-family: monospace;
  18         background-color: #F4F4F4; border: 1px solid #AAA;
  19         padding-top: 0.5em; padding-bottom: 0.5em; }
  20
  21 /* coloring */
  22
  23 .lisp-bg { background-color: #F4F4F4 ; color: black; }
  24 .lisp-bg:hover { background-color: #F4F4F4 ; color: black; }
  25
  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; }
  49
  50 li p { margin-top: 0px; margin-bottom: 0px; }
  51 li { margin-top: 3px; margin-bottom: 3px; }
  52 li dl { margin-top: 1em; }