doc/style.css

   1 body {
   2         color: black;
   3         background: white;
   4         margin: 0;
   5 }
   6
   7 :link {
   8          color: #00C;
   9          background: transparent;
  10 }
  11
  12 :visited {
  13          color: #609;
  14          background: transparent;
  15 }
  16
  17 a:active {
  18          color: #C00;
  19          background: transparent;
  20 }
  21
  22 h1, h2, h3, h4, h5, h6 {
  23          text-align: left;
  24 }
  25
  26 h1, h2 {
  27          background-color: #f2f2f2;
  28          margin-top: 0;
  29          color: #000;
  30          border-bottom: 1px solid #cccccc;
  31 }
  32
  33 h1 {
  34          padding: 1ex;
  35          margin-bottom: 0;
  36 }
  37
  38 h2 {
  39          border-bottom: 1px solid #b2c0dd;
  40          padding: 0.5ex;
  41 }
  42
  43 h3 {
  44          padding: 0;
  45          margin: 0 0 0.75ex 0;
  46 }
  47
  48 h2 {
  49          margin: 3ex 0 1ex 0;
  50 }
  51
  52 ul, ol {
  53          margin: 0 1ex 2ex 1ex;
  54 }
  55
  56 .content {
  57          margin-left: 1.5em;
  58          margin-right: 1.5em;
  59 }
  60
  61 .label {
  62          font-style: italic;
  63          margin: 1ex 0 1ex 0;
  64          }
  65
  66 .index {
  67          margin-left: 1em;
  68 }
  69
  70 .restriction {
  71          margin: 0.5ex 0 2ex 4ex;
  72          background-color: #eee;
  73          padding: 0.25ex;
  74          border: 1px solid #ddd;
  75 }
  76
  77 .description {
  78          margin-bottom: 2ex;
  79 }
  80
  81 .blankdesc {
  82          background-color: #eee;
  83          margin: 0.5em;
  84          border: 1px solid #ddd;
  85 }
  86
  87 .blankterm {
  88          padding-right: 0.5em;
  89 }
  90
  91 .specterm {
  92          margin-top: 1ex;
  93          padding: 1ex;
  94          background-color: #fafafa;
  95          border: 1px solid #ddd;
  96 }
  97
  98 .footer {
  99         margin-top: 3ex;
 100         padding: 1ex;
 101         border-top: solid #4a6aaa 1px;
 102         text-align: right;
 103 }
 104
 105 .footer-text {
 106          font-size: small;
 107          color: #2a3c61;
 108          vertical-align: top;
 109 }
 110
 111 dl {
 112          padding: 0;
 113          margin: 0;
 114 }
 115
 116 dt {
 117          font-weight: bold ;
 118          margin-top: 0.75ex;
 119 }
 120
 121 hr {
 122         color: silver;
 123         background-color: silver;
 124         height: 1px;
 125         border: 0;
 126         margin-top: 1.5ex;
 127         margin-bottom: 1.5ex;
 128 }
 129
 130 div.head {
 131          margin-bottom: 1em;
 132 }
 133
 134 div.head h1 {
 135          margin-top: 2em;
 136          clear: both;
 137 }
 138
 139 div.head table {
 140          margin-left: 2em;
 141          margin-top: 2em;
 142 }
 143
 144 th {
 145          text-align: left;
 146 }
 147
 148 td {
 149          padding-right: 2ex;
 150 }
 151
 152 .meta {
 153         background-color: #f9fafc;
 154         font-size: small;
 155         margin: 0 0 2ex 0;
 156         padding: 1ex 0 1ex 2ex;
 157         border-bottom: 1px solid #c4cfe5;
 158 }
 159
 160 .metahead {
 161          padding-right: 1ex;
 162 }
 163
 164 pre {
 165          margin-left: 2em;
 166          color: #373;
 167 }
 168
 169 code {
 170          color: #373;
 171 }
 172
 173 @media aural {
 174         dt {
 175                 pause-before: 20%
 176         }
 177         pre {
 178                 speak-punctuation: code
 179         }
 180 }