3 /* log table ****************************************************************/
6 border-collapse: collapse;
10 border-color: initial;
11 border-style: solid none;
15 /* menus ********************************************************************/
22 display: inline-block;
37 display: inline-block;
40 /* buttons ******************************************************************/
44 background-color: inherit;
51 text-decoration: underline;
54 /* anchors ******************************************************************/
57 text-decoration: initial;
63 text-decoration: initial;
69 text-decoration: underline;
75 text-decoration: underline;
79 /* displays *****************************************************************/
89 /* alignment ****************************************************************/
95 /* font families ************************************************************/
98 font-family:monospace;
101 /* line heights *************************************************************/
107 /* font sizes ***************************************************************/
113 /* foreground colors (equalized to gray 8F) *********************************/
171 /* background colors (equalized to gray D3) *********************************/
174 background-color:#FFFFFF;
178 background-color:#D3D3D3;
182 background-color:#FFBBD9;
186 background-color:#FFB4FF;
190 background-color:#E8BFFF;
194 background-color:#CDCDFF;
198 background-color:#9CE6FF;
202 background-color:#6CFFFF;
206 background-color:#7DFFD1;
210 background-color:#93FF93;
214 background-color:#C3FF11;
218 background-color:#EDED00;
222 background-color:#FFD454;
226 background-color:#FFC0C0;
229 /* background colors (equalized to gray EB) *********************************/
232 background-color:#EBEBEB;
236 background-color:#FFFF49;
240 background-color:#FFEBB1;
244 background-color:#FFE2E2;