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 *******************************************************************/
66 /* inline decorations *******************************************************/
90 height: 32px; /* this should be 31px */
93 /* foreground colors (life cycle, grammar) **********************************/
115 /* mark colors **************************************************************/
129 /* background colors ********************************************************/
132 background-color:#ffffff; /* + 0 */
136 background-color:#dfdfdf; /* + 7/8 */
140 background-color:#ffbfdf; /* + 3/4 */
144 background-color:#ffccff; /* + 4/5 */
148 background-color:#e5ccff; /* + 4/5 */
152 background-color:#ccccff; /* + 4/5 */
156 background-color:#bfdfff; /* + 3/4 */
160 background-color:#bfffff; /* + 3/4 */
164 background-color:#ccffe5; /* + 4/5 */
168 background-color:#bfffbf; /* + 3/4 */
172 background-color:#dfffbf; /* + 3/4 */
176 background-color:#ffffbf; /* + 3/4 */
180 background-color:#ffdfbf; /* + 3/4 */
184 background-color:#ffbfbf; /* + 3/4 */