3 /* term selection ***********************************************************/
5 .term:hover > .term:not(:hover) {
9 /* log table ****************************************************************/
13 border-collapse: collapse;
17 border-color: initial;
18 border-style: solid none;
23 /* forms ********************************************************************/
26 display: inline-block;
37 border-collapse: collapse;
42 display: inline-block;
55 border-top-style: solid;
56 border-top-width: thin;
59 /* buttons ******************************************************************/
66 background-color: inherit;
76 text-decoration: underline;
79 /* anchors ******************************************************************/
82 text-decoration: initial;
88 text-decoration: initial;
94 text-decoration: underline;
100 text-decoration: underline;
104 /* displays *****************************************************************/
114 /* alignment ****************************************************************/
120 /* font families ************************************************************/
123 font-family: monospace; "Courier New", Courier;
126 /* line heights *************************************************************/
132 /* font sizes ***************************************************************/
138 /* foreground colors (equalized to gray 8F) *********************************/
200 /* background colors (equalized to gray D3) *********************************/
203 background-color:#FFFFFF;
207 background-color:#D3D3D3;
211 background-color:#FFBBD9;
215 background-color:#FFB4FF;
219 background-color:#E8BFFF;
223 background-color:#CDCDFF;
227 background-color:#9CE6FF;
231 background-color:#6CFFFF;
235 background-color:#7DFFD1;
239 background-color:#93FF93;
243 background-color:#C3FF11;
247 background-color:#EDED00;
251 background-color:#FFD454;
255 background-color:#FFC0C0;
259 background-color:#000000;
262 /* background colors (equalized to gray EB) *********************************/
265 background-color:#EBEBEB;
269 background-color:#E8E8FF;
273 background-color:#FFEBB1;
277 background-color:#FFE2E2;
280 /* background colors (equalized to gray 48) *********************************/
283 background-color:#484848;