helm/www/lambdadelta/css/ld_web.css

   1 @charset "UTF-8";
   2
   3 /* general ******************************************************************/
   4
   5 body {
   6   background-color: 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   background-color: inherit;
  15 }
  16
  17 a:hover {
  18   text-decoration: underline;
  19   color: inherit;
  20   background-color: 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 /* inline decorations *******************************************************/
  67
  68 img.icon32 {
  69   border: 0;
  70   width: 32px;
  71   height: 32px;
  72 }
  73
  74 img.icon37 {
  75   border: 0;
  76   width: 37px;
  77   height: 37px;
  78 }
  79
  80 img.rule {
  81   border: 0;
  82   height: 4px;
  83   width: 100%;
  84 }
  85
  86 img.w3c {
  87   margin: 0 0.5em;
  88   border: 0;
  89   width: 88px;
  90   height: 32px; /* this should be 31px */
  91 }
  92
  93 /* foreground colors (life cycle, grammar) **********************************/
  94
  95 .delta {
  96   color:#500000;
  97 }
  98
  99 .gamma {
 100   color:#006000;
 101 }
 102
 103 .beta {
 104   color:#906000;
 105 }
 106
 107 .alpha {
 108   color:#000000;
 109 }
 110
 111 .ebnf {
 112   color:#000080;
 113 }
 114
 115 /* mark colors **************************************************************/
 116
 117 .red-mark {
 118   color:#F00000;
 119 }
 120
 121 .green-mark {
 122   color:#00F000;
 123 }
 124
 125 .blue-mark {
 126   color:#0000F0;
 127 }
 128
 129 /* background colors ********************************************************/
 130
 131 .white {
 132   background-color:#ffffff; /* + 0 */
 133 }
 134
 135 .gray {
 136   background-color:#dfdfdf; /* + 7/8 */
 137 }
 138
 139 .wine {
 140   background-color:#ffbfdf; /* + 3/4 */
 141 }
 142
 143 .magenta {
 144   background-color:#ffccff; /* + 4/5 */
 145 }
 146
 147 .prune {
 148   background-color:#e5ccff; /* + 4/5 */
 149 }
 150
 151 .blue {
 152   background-color:#ccccff; /* + 4/5 */
 153 }
 154
 155 .sky {
 156   background-color:#bfdfff; /* + 3/4 */
 157 }
 158
 159 .cyan {
 160   background-color:#bfffff; /* + 3/4 */
 161 }
 162
 163 .water {
 164   background-color:#ccffe5; /* + 4/5 */
 165 }
 166
 167 .green {
 168   background-color:#bfffbf; /* + 3/4 */
 169 }
 170
 171 .grass {
 172   background-color:#dfffbf; /* + 3/4 */
 173 }
 174
 175 .yellow {
 176   background-color:#ffffbf; /* + 3/4 */
 177 }
 178
 179 .orange {
 180   background-color:#ffdfbf; /* + 3/4 */
 181 }
 182
 183 .red {
 184   background-color:#ffbfbf; /* + 3/4 */
 185 }