3 /* general ******************************************************************/
6 background-color: rgb(255, 255, 255);
11 a:link, a:visited, a:hover, a:active, a:focus {
12 text-decoration: underline;
14 background-color: inherit;
18 text-decoration: underline;
20 background-color: rgb(192, 192, 192);
23 /* blocks *******************************************************************/
71 /* tables *******************************************************************/
85 /* inline decorations *******************************************************/
109 height: 32px; /* this should be 31px */
112 /* foreground colors (life cycle, grammar) **********************************/
134 /* background colors ********************************************************/
137 background-color:#ffffff; /* + 0 */
141 background-color:#dfdfdf; /* + 7/8 */
145 background-color:#ffbfdf; /* + 3/4 */
149 background-color:#ffccff; /* + 4/5 */
153 background-color:#e5ccff; /* + 4/5 */
157 background-color:#ccccff; /* + 4/5 */
161 background-color:#bfdfff; /* + 3/4 */
165 background-color:#bfffff; /* + 3/4 */
169 background-color:#ccffe5; /* + 4/5 */
173 background-color:#bfffbf; /* + 3/4 */
177 background-color:#dfffbf; /* + 3/4 */
181 background-color:#ffffbf; /* + 3/4 */
185 background-color:#ffdfbf; /* + 3/4 */
189 background-color:#ffbfbf; /* + 3/4 */