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