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 {
  12    text-decoration: underline;
  13    color: rgb(0, 0, 0);
  14 }
  15
  16 a:active, a:hover, a:focus {
  17    background: rgb(192, 192, 192);
  18    color: rgb(0, 0, 0);
  19 }
  20
  21 /* blocks *******************************************************************/
  22
  23 div.spacer {
  24    text-align: center;
  25    font-weight: normal;
  26    font-size: medium;
  27 }
  28
  29 div.head1 {
  30    margin: 0.5em 0;
  31    text-align: center;
  32    font-weight: bold;
  33    font-size: xx-large;
  34 }
  35
  36 div.head2sn {
  37    margin: 0.5em 0;
  38    text-align: left;
  39    font-weight: bold;
  40    font-size: x-large;
  41 }
  42
  43 div.head2dx {
  44    margin: 0.5em 0;
  45    text-align: right;
  46    font-weight: bold;
  47    font-size: x-large;
  48 }
  49
  50 div.text {
  51    margin: 1em 0;
  52    text-align: left;
  53    font-weight: normal;
  54    font-size: medium;
  55 }
  56
  57 span.date {
  58    font-weight: bold;
  59    font-size: medium;
  60 }
  61
  62 /* inline decorations *******************************************************/
  63
  64 img.icon32 {
  65    border: 0;
  66    width: 32px;
  67    height: 32px;
  68 }
  69
  70 img.icon37 {
  71    border: 0;
  72    width: 37px;
  73    height: 37px;
  74 }
  75
  76 img.rule {
  77    border: 0;
  78    height: 4px;
  79    width: 100%;
  80 }
  81
  82 img.w3c {
  83    margin: 0 0.5em;
  84    border: 0;
  85    width: 88px;
  86    height: 32px; /* this should be 31px */
  87 }
  88
  89 /* background colors ********************************************************/
  90
  91 .gray {
  92   background-color:#dfdfdf; /* + 7/8 */
  93 }
  94
  95 .wine {
  96   background-color:#ffbfdf; /* + 3/4 */
  97 }
  98
  99 .magenta {
 100   background-color:#ffccff; /* + 4/5 */
 101 }
 102
 103 .prune {
 104   background-color:#e5ccff; /* + 4/5 */
 105 }
 106
 107 .blue {
 108   background-color:#ccccff; /* + 4/5 */
 109 }
 110
 111 .sky {
 112   background-color:#bfdfff; /* + 3/4 */
 113 }
 114
 115 .cyan {
 116   background-color:#bfffff; /* + 3/4 */
 117 }
 118
 119 .water {
 120   background-color:#ccffe5; /* + 4/5 */
 121 }
 122
 123 .green {
 124   background-color:#bfffbf; /* + 3/4 */
 125 }
 126
 127 .grass {
 128   background-color:#dfffbf; /* + 3/4 */
 129 }
 130
 131 .yellow {
 132   background-color:#ffffbf; /* + 3/4 */
 133 }
 134
 135 .orange {
 136   background-color:#ffdfbf; /* + 3/4 */
 137 }
 138
 139 .red {
 140   background-color:#ffbfbf; /* + 3/4 */
 141 }