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