4 background-color: #e0e0e0;
10 background-color: #c0c0c0;
11 border: 1px solid black;
32 /* attempt to make thin 'ridge' border */
42 background-color: #c0c0c0;
44 /*font-family: sans-serif;*/
50 background-color: transparent;
52 vertical-align: middle;
58 background-color: #a0a0a0;
65 background-color: #808080;
72 background-color: #a0a0a0;
83 background-color: #aaaaaa;
90 background-color: transparent;
91 text-decoration: none;
98 border: 1px dashed black;
101 /* cross-references */
105 background-color: transparent;
106 text-decoration: none;
111 color: rgb(127,127,127);
112 background-color: transparent;
120 color: rgb(95,95,95);
121 background-color: transparent;
122 text-decoration: none;