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