helm/www/lambdadelta/css/martha.css

   1 @charset "UTF-8";
   2
   3 /* log table ****************************************************************/
   4
   5 .log {
   6   width: 100%;
   7   border-collapse: collapse;
   8 }
   9
  10 .log_cell {
  11   border-color: initial;
  12   border-style: solid none;
  13   border-width: thin;
  14   padding: 2px;
  15 }
  16
  17 /* menus ********************************************************************/
  18
  19 .text {
  20   display: inline-block;
  21   list-style: none;
  22   margin: initial;
  23   padding: initial;
  24   white-space: nowrap;
  25 }
  26
  27 .menu {
  28   display: none;
  29   border-style: solid;
  30   border-width: thin;
  31   border-collapse: collapse;
  32   position: absolute;
  33 }
  34
  35 .menu:target {
  36    display: inline-block;
  37 }
  38
  39 .menu_cell {
  40   padding: 2px;
  41 }
  42
  43 .menu_empty {
  44   padding: inherit;
  45 }
  46
  47 .menu_sep {
  48   padding: inherit;
  49   border-top-style: solid;
  50   border-top-width: thin;
  51 }
  52
  53 /* buttons ******************************************************************/
  54
  55 .type {
  56   font: inherit;
  57 }
  58
  59 .button {
  60   background-color: inherit;
  61   border-style: none;
  62   color: inherit;
  63   font: inherit;
  64   margin: initial;
  65   padding: initial;
  66   text-align: inherit;
  67 }
  68
  69 .button:hover {
  70   text-decoration: underline;
  71 }
  72
  73 /* anchors ******************************************************************/
  74
  75 a:link {
  76   text-decoration: initial;
  77   color: inherit;
  78 }
  79
  80 /* visited link */
  81 a:visited {
  82   text-decoration: initial;
  83   color: inherit;
  84 }
  85
  86 /* mouse over link */
  87 a:hover {
  88   text-decoration: underline;
  89   color: inherit;
  90 }
  91
  92 /* selected link */
  93 a:active {
  94   text-decoration: underline;
  95   color: inherit;
  96 }
  97
  98 /* displays *****************************************************************/
  99
 100 .block {
 101    display: block;
 102 }
 103
 104 .inline {
 105    display: inline;
 106 }
 107
 108 /* alignment ****************************************************************/
 109
 110 .center {
 111   text-align: center;
 112 }
 113
 114 /* font families ************************************************************/
 115
 116 .monospace {
 117   font-family:monospace;
 118 }
 119
 120 /* line heights *************************************************************/
 121
 122 .l_150 {
 123   line-height:150%;
 124 }
 125
 126 /* font sizes ***************************************************************/
 127
 128 .t_130 {
 129   font-size: 130%;
 130 }
 131
 132 /* foreground colors (equalized to gray 8F) *********************************/
 133
 134 .f_white {
 135   color:#FFFFFF;
 136 }
 137
 138 .f_gray {
 139   color:#8F8F8F;
 140 }
 141
 142 .f_wine {
 143   color:#FF52A0;
 144 }
 145
 146 .f_magenta {
 147   color:#FF41FF;
 148 }
 149
 150 .f_prune {
 151   color:#C65DFF;
 152 }
 153
 154 .f_blue {
 155   color:#8181FF;
 156 }
 157
 158 .f_sky {
 159   color:#04C0FF;
 160 }
 161
 162 .f_cyan {
 163   color:#00CCCC;
 164 }
 165
 166 .f_water {
 167   color:#00D88C;
 168 }
 169
 170 .f_green {
 171   color:#00F200;
 172 }
 173
 174 .f_grass {
 175   color:#83AF00;
 176 }
 177
 178 .f_yellow {
 179   color:#A0A000;
 180 }
 181
 182 .f_orange {
 183   color:#C09000;
 184 }
 185
 186 .f_red {
 187   color:#FF5F5F;
 188 }
 189
 190 .f_black {
 191   color:#000000;
 192 }
 193
 194 /* background colors (equalized to gray D3) *********************************/
 195
 196 .b_white {
 197   background-color:#FFFFFF;
 198 }
 199
 200 .b_gray {
 201   background-color:#D3D3D3;
 202 }
 203
 204 .b_wine {
 205   background-color:#FFBBD9;
 206 }
 207
 208 .b_magenta {
 209   background-color:#FFB4FF;
 210 }
 211
 212 .b_prune {
 213   background-color:#E8BFFF;
 214 }
 215
 216 .b_blue {
 217   background-color:#CDCDFF;
 218 }
 219
 220 .b_sky {
 221   background-color:#9CE6FF;
 222 }
 223
 224 .b_cyan {
 225   background-color:#6CFFFF;
 226 }
 227
 228 .b_water {
 229   background-color:#7DFFD1;
 230 }
 231
 232 .b_green {
 233   background-color:#93FF93;
 234 }
 235
 236 .b_grass {
 237   background-color:#C3FF11;
 238 }
 239
 240 .b_yellow {
 241   background-color:#EDED00;
 242 }
 243
 244 .b_orange {
 245   background-color:#FFD454;
 246 }
 247
 248 .b_red {
 249   background-color:#FFC0C0;
 250 }
 251
 252 .b_black {
 253   background-color:#000000;
 254 }
 255
 256 /* background colors (equalized to gray EB) *********************************/
 257
 258 .b_gray_EB {
 259   background-color:#EBEBEB;
 260 }
 261
 262 .b_blue_EB {
 263   background-color:#E8E8FF;
 264 }
 265
 266 .b_orange_EB {
 267   background-color:#FFEBB1;
 268 }
 269
 270 .b_red_EB {
 271   background-color:#FFE2E2;
 272 }
 273
 274 /* background colors (equalized to gray 48) *********************************/
 275
 276 .b_gray_48 {
 277   background-color:#484848;
 278 }