doc/he/cups.css

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