4 background-color: #e0e0e0;
10 background-color: transparent;
20 /* attempt to make thin 'ridge' border */
29 background-color: #c0c0c0;
31 font-family: sans-serif;
37 background-color: transparent;
39 vertical-align: middle;
45 background-color: #808080;
52 background-color: #a0a0a0;
58 background-color: #aaaaaa;
65 background-color: transparent;
66 text-decoration: none;
73 border: 1px dashed black;
76 /* cross-references */
80 background-color: transparent;
81 text-decoration: none;
86 color: rgb(127,127,127);
87 background-color: transparent;
96 background-color: transparent;
97 text-decoration: none;