helm/www/lambdadelta/css/ld_web.css

   1 @charset "UTF-8";
   2
   3 /* general ******************************************************************/
   4
   5 body {
   6    background: rgb(255, 255, 255);
   7    color: rgb(0, 0, 0);
   8    margin: 2.5%;
   9 }
  10
  11 a:link, a:visited, a:hover, a:active, a:focus {
  12    text-decoration: underline;
  13    color: inherit;
  14    backgroud: inherit;
  15 }
  16
  17 a:hover {
  18    text-decoration: underline;
  19    color: inherit;
  20    background: rgb(192, 192, 192);
  21 }
  22
  23 /* blocks *******************************************************************/
  24
  25 div.spacer {
  26    text-align: center;
  27    font-weight: normal;
  28    font-size: medium;
  29 }
  30
  31 div.head1 {
  32    margin: 0.5em 0;
  33    text-align: center;
  34    font-weight: bold;
  35    font-size: xx-large;
  36 }
  37
  38 div.head2sn {
  39    margin: 0.5em 0;
  40    text-align: left;
  41    font-weight: bold;
  42    font-size: x-large;
  43 }
  44
  45 div.head2dx {
  46    margin: 0.5em 0;
  47    text-align: right;
  48    font-weight: bold;
  49    font-size: x-large;
  50 }
  51
  52 div.head3sn {
  53    margin: 0.5em 0;
  54    text-align: left;
  55    font-weight: bold;
  56    font-size: large;
  57 }
  58
  59 div.text {
  60    margin: 1em 0;
  61    text-align: left;
  62    font-weight: normal;
  63    font-size: medium;
  64 }
  65
  66 span.emph {
  67    font-weight: bold;
  68    font-size: medium;
  69 }
  70
  71 span.date {
  72    font-weight: bold;
  73    font-size: medium;
  74 }
  75
  76 /* tables *******************************************************************/
  77
  78 table {
  79   margin-left: auto;
  80   margin-right: auto;
  81   width: 100%;
  82 }
  83
  84 td {
  85   border-color:#000000;
  86   border-width:1px;
  87   color:#000000;
  88 }
  89
  90 /* inline decorations *******************************************************/
  91
  92 img.icon32 {
  93    border: 0;
  94    width: 32px;
  95    height: 32px;
  96 }
  97
  98 img.icon37 {
  99    border: 0;
 100    width: 37px;
 101    height: 37px;
 102 }
 103
 104 img.rule {
 105    border: 0;
 106    height: 4px;
 107    width: 100%;
 108 }
 109
 110 img.w3c {
 111    margin: 0 0.5em;
 112    border: 0;
 113    width: 88px;
 114    height: 32px; /* this should be 31px */
 115 }
 116
 117 /* foreground colors (life cycle) *******************************************/
 118
 119 .delta {
 120   color:#500000;
 121 }
 122
 123 .gamma {
 124   color:#006000;
 125 }
 126
 127 .beta {
 128   color:#906000;
 129 }
 130
 131 .alpha {
 132   color:#000000;
 133 }
 134
 135 /* background colors ********************************************************/
 136
 137 .gray {
 138   background-color:#dfdfdf; /* + 7/8 */
 139 }
 140
 141 .wine {
 142   background-color:#ffbfdf; /* + 3/4 */
 143 }
 144
 145 .magenta {
 146   background-color:#ffccff; /* + 4/5 */
 147 }
 148
 149 .prune {
 150   background-color:#e5ccff; /* + 4/5 */
 151 }
 152
 153 .blue {
 154   background-color:#ccccff; /* + 4/5 */
 155 }
 156
 157 .sky {
 158   background-color:#bfdfff; /* + 3/4 */
 159 }
 160
 161 .cyan {
 162   background-color:#bfffff; /* + 3/4 */
 163 }
 164
 165 .water {
 166   background-color:#ccffe5; /* + 4/5 */
 167 }
 168
 169 .green {
 170   background-color:#bfffbf; /* + 3/4 */
 171 }
 172
 173 .grass {
 174   background-color:#dfffbf; /* + 3/4 */
 175 }
 176
 177 .yellow {
 178   background-color:#ffffbf; /* + 3/4 */
 179 }
 180
 181 .orange {
 182   background-color:#ffdfbf; /* + 3/4 */
 183 }
 184
 185 .red {
 186   background-color:#ffbfbf; /* + 3/4 */
 187 }