4 background-color: #33C4C4;
10 background-color: transparent;
20 /* attempt to make thin 'ridge' border */
25 border-color: #E0E0E0;
31 background-color: #4CE1FF;
33 font-family: helvetica, sans-serif;
36 border-color: #E0E0E0;
42 background-color: #376ECC;
45 border-color: #E0E0E0;
51 background-color: #6394EB;
57 background-color: #10B69D;
64 background-color: transparent;
65 text-decoration: none;
70 border: 1px dashed black;
73 /* cross-references */
77 background-color: transparent;
78 text-decoration: none;
83 color: rgb(127,127,127);
84 background-color: transparent;
93 background-color: transparent;
94 text-decoration: none;