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