helm/www/lambdadelta/css/martha.css

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