documentation/lisp-unit.css

   1 body {
   2   background-color: white;
   3   margin-left: 10%;
   4   margin-right: 10%;
   5 }
   6
   7 p, blockquote, li, dd, dt, td, th {
   8   font-family: arial, sans-serif;
   9   font-size: 12pt;
  10 }
  11
  12 dt, dd {
  13   margin-bottom: 8px;
  14 }
  15
  16 h1, h2, h3, h4, #banner {
  17   background-color: #006699;
  18   color: white;
  19   font-family: arial, sans-serif;
  20 }
  21
  22 h1 {
  23   font-size: 18pt;
  24 }
  25
  26 h2 {
  27   font-size: 16pt;
  28 }
  29
  30 h3 {
  31   font-size: 14pt;
  32 }
  33
  34 h4 {
  35   font-size: 12pt;
  36 }
  37
  38 code, pre {
  39   background-color: #ccffcc;
  40   font-size: 12pt;
  41   overflow: auto;
  42 }
  43
  44 pre {
  45   margin-left: 5%;
  46   width: auto;
  47 }
  48
  49
  50 .button {
  51   background-color: #CCCCCC;
  52   border-style: outset;
  53   border-width: thin;
  54   color: black;
  55   font-family: sans-serif;
  56   font-size: smaller;
  57   font-style: normal;
  58   padding-left: 3px;
  59   padding-right: 3px;
  60   text-decoration: none;
  61 }
  62
  63 .code-syntax {
  64   font-family: "Courier", monospace;
  65   background-color: #FFCC66;
  66 }
  67
  68 .footnote {
  69   display: none;
  70 }
  71
  72 .highlight, .quote {
  73   background-color: #99ff99;
  74         color: black;
  75 }
  76
  77 .highlight {
  78   font-weight: bold;
  79 }
  80
  81 .input {
  82   text-decoration: underline;
  83 }
  84
  85 .plain {
  86   border: none;
  87   text-decoration: none;
  88 }
  89
  90 .quote {
  91   margin-left: 5%;
  92   margin-right: 5%;
  93 }
  94
  95 .use-case {
  96   background-color: lightgrey;
  97   margin-left: 5%;
  98   margin-right: 5%;
  99 }
 100
 101 #banner {
 102   font-size: 22pt;
 103   text-align: center;
 104 }
 105
 106 #closing {
 107   font-style: italic;
 108 }
 109
 110 #logo {
 111   background-color: white;
 112   text-align: center;
 113 }