helm/www/lambdadelta/css/martha.css

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