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 /* mark colors **************************************************************/
148 /* background colors ********************************************************/
151 background-color:#ffffff; /* + 0 */
155 background-color:#dfdfdf; /* + 7/8 */
159 background-color:#ffbfdf; /* + 3/4 */
163 background-color:#ffccff; /* + 4/5 */
167 background-color:#e5ccff; /* + 4/5 */
171 background-color:#ccccff; /* + 4/5 */
175 background-color:#bfdfff; /* + 3/4 */
179 background-color:#bfffff; /* + 3/4 */
183 background-color:#ccffe5; /* + 4/5 */
187 background-color:#bfffbf; /* + 3/4 */
191 background-color:#dfffbf; /* + 3/4 */
195 background-color:#ffffbf; /* + 3/4 */
199 background-color:#ffdfbf; /* + 3/4 */
203 background-color:#ffbfbf; /* + 3/4 */