doc/cups.css

   1 BODY {
   2   background: #e8e8e8;
   3   color: #000000;
   4   font-family: sans-serif;
   5 }
   6
   7 H1, H2, H3, H4, H5, H6, P, TD, TH {
   8   font-family: sans-serif;
   9 }
  10
  11 KBD {
  12   color: #006600;
  13   font-family: monospace;
  14   font-weight: bold;
  15 }
  16
  17 PRE {
  18   font-family: monospace;
  19 }
  20
  21 PRE.command {
  22   color: #7f0000;
  23   margin-left: 36pt;
  24 }
  25
  26 PRE.command EM {
  27   color: #3f0000;
  28 }
  29
  30 P.command {
  31   color: #7f0000;
  32   font-family: monospace;
  33   margin-left: 36pt;
  34 }
  35
  36 P.formula {
  37   font-style: italic;
  38   margin-left: 36pt;
  39 }
  40
  41 BLOCKQUOTE {
  42   background: #e1e1e1;
  43   border: inset 1px #dddddd;
  44   padding: 10px;
  45   /* These are not implemented by all browsers, but that's OK */
  46   border-radius: 5px;
  47   -moz-border-radius: 5px;
  48 }
  49
  50 A IMG {
  51   border: none;
  52 }
  53
  54 A:link:hover IMG {
  55   background: #e0e0e0;
  56   border-radius: 10px;
  57   -moz-border-radius: 10px;
  58 }
  59
  60 A:link, A:visited {
  61   text-decoration: none;
  62   color: #000099;
  63 }
  64
  65 A:link:hover, A:visited:hover, A:active {
  66   text-decoration: underline;
  67   color: #990099;
  68 }
  69
  70 TABLE.page {
  71   border: none;
  72   border-collapse: collapse;
  73   height: 100%;
  74   margin: 0;
  75   padding: 0;
  76   width: 100%;
  77 }
  78
  79 TD.body {
  80   height: 100%;
  81   vertical-align: top;
  82 }
  83
  84 TD.sel, TD.unsel {
  85   border-left: thin solid #aaaaaa;
  86   font-size: 120%;
  87   padding: 0px 5px;
  88   text-align: center;
  89   vertical-align: middle;
  90   width: 14%;
  91 }
  92
  93 TD.sel {
  94   background: url(images/sel.gif);
  95 }
  96
  97 TD.unsel {
  98   background: url(images/unsel.gif);
  99 }
 100
 101 TD.sel A, TD.sel A:hover {
 102   color: #ffffff;
 103   font-weight: normal;
 104   text-decoration: none;
 105 }
 106
 107 TD.unsel A, TD.unsel A:visited {
 108   color: #333333;
 109   font-weight: normal;
 110 }
 111
 112 TD.unsel:hover {
 113   background: url(images/unsel-hover.gif);
 114   color: #ffffff;
 115 }
 116
 117 TD.unsel A:link:hover, TD.unsel A:visited:hover, TD.unsel A:active {
 118   color: #ffffff;
 119   font-weight: normal;
 120   text-decoration: none;
 121 }
 122
 123 TD.trailer {
 124   background: #e1e1e1;
 125   border: solid thin #cccccc;
 126   color: #666666;
 127   font-size: 80%;
 128   padding: 5px;
 129 }
 130
 131 TD.trailer A {
 132   color: #666699;
 133 }
 134
 135 FORM {
 136   display: inline;
 137 }
 138
 139 INPUT[TYPE="TEXT"], TEXTAREA {
 140   font-family: monospace;
 141 }
 142
 143 INPUT[TYPE="IMAGE"] {
 144   border: none;
 145   padding: 2pt;
 146   vertical-align: bottom;
 147 }
 148
 149 SUB, SUP {
 150   font-size: 50%;
 151 }
 152
 153 TR.data, TD.data, TR.data TD {
 154   padding: 5;
 155   border-bottom: solid 1pt #999999;
 156 }
 157
 158 TR.data TH {
 159   border-bottom: solid 1pt #999999;
 160   padding-top: 10pt;
 161   padding-left: 5pt;
 162   text-align: left;
 163 }
 164
 165 DIV.table TABLE {
 166   border: solid thin #999999;
 167   border-spacing: 0;
 168   margin-left: auto;
 169   margin-right: auto;
 170 }
 171
 172 DIV.table CAPTION {
 173   caption-side: top;
 174   font-size: 120%;
 175   font-style: italic;
 176   font-weight: bold;
 177   margin-left: auto;
 178   margin-right: auto;
 179 }
 180
 181 DIV.table TABLE TD {
 182   border: solid thin #bbbbbb;
 183   padding-top: 5pt;
 184 }
 185
 186 DIV.table TABLE TH {
 187   background: #bbbbbb;
 188   border: none;
 189   border-bottom: solid thin #999999;
 190 }
 191
 192 DIV.figure TABLE {
 193   margin-left: auto;
 194   margin-right: auto;
 195 }
 196
 197 DIV.figure CAPTION {
 198   caption-side: bottom;
 199   font-size: 120%;
 200   font-style: italic;
 201   font-weight: bold;
 202   margin-left: auto;
 203   margin-right: auto;
 204 }
 205
 206 TH.label {
 207   padding-top: 5pt;
 208   text-align: right;
 209   vertical-align: top;
 210 }
 211
 212 HR {
 213   border: solid thin;
 214 }
 215
 216 SPAN.info {
 217   background: #000000;
 218   border: thin solid #000000;
 219   color: #ffffff;
 220   font-size: 80%;
 221   font-style: italic;
 222   font-weight: bold;
 223   white-space: nowrap;
 224 }
 225
 226 H2 SPAN.info, H3 SPAN.info, H4 SPAN.info {
 227   float: right;
 228   font-size: 100%;
 229 }
 230
 231 .conflict {
 232   color: red;
 233 }
 234
 235 H2.title, H3.title {
 236   border-bottom: solid 1pt #999999;
 237 }
 238
 239 DIV.sidebar {
 240   float: right;
 241   min-width: 25%;
 242   margin-left: 10px;
 243   max-width: 33%;
 244 }
 245
 246 DIV.sidebar P.l0 {
 247   margin-bottom: 0;
 248   margin-left: 0;
 249   margin-right: 0;
 250   margin-top: 12pt;
 251 }
 252
 253 DIV.sidebar P.l1 {
 254   margin-bottom: 0;
 255   margin-left: 36pt;
 256   margin-right: 0;
 257   margin-top: 0;
 258   text-indent: -18pt;
 259 }
 260
 261 DIV.sidebar P.l2 {
 262   font-style: italic;
 263   margin-bottom: 0;
 264   margin-left: 54pt;
 265   margin-right: 0;
 266   margin-top: 0;
 267   text-indent: -18pt;
 268 }
 269
 270 TABLE.inset {
 271   background: #e1e1e1;
 272   border: inset 1px #dddddd;
 273   padding: 0;
 274   /* These are not implemented by all browsers, but that's OK */
 275   border-radius: 5px;
 276   -moz-border-radius: 5px;
 277 }
 278
 279 TABLE.inset CAPTION {
 280   caption-side: top;
 281   color: #666666;
 282   font-size: 80%;
 283   margin-left: 10px;
 284   margin-bottom: 2px;
 285   text-align: left;
 286 }
 287
 288 TABLE.inset TD {
 289   padding: 5px;
 290 }
 291
 292 DT {
 293   margin-left: 36pt;
 294   margin-top: 12pt;
 295 }
 296
 297 DD {
 298   margin-left: 54pt;
 299 }
 300
 301 DL.category DT {
 302   font-weight: bold;
 303 }
 304
 305 P.summary {
 306   margin-left: 36pt;
 307   font-family: monospace;
 308 }
 309
 310 SPAN.message {
 311   font-style: italic;
 312   font-size: smaller;
 313 }