.pale, a.pale:link, a.pale:visited, a.pale:hover{color: #8e8e8e}

span.js, a.js, a.js:link, a.js:visited, a.js:hover,
a.loc, a.loc:link, a.loc:visited, a.loc:hover{
 background-image: url(/i/red/dotline.gif);
 color: #8e8e8e;
}


table.menu .lline {border-left: #bfbfbf solid 5px;}

td.entrance a.hl:link,
td.entrance a.hl:visited,
table.menulevel2 td a.hl:link,
table.menulevel2 td a.hl:visited,
table.menulevel2 td a.hl:hover
{ color: #8e8e8e; }