/**/
#menu { text-align: right; }
#menu a.selectable:link		{ text-decoration: none; background-color: tan }
#menu a.selectable:visited	{ text-decoration: none; background-color: lightpink }
#menu a.selectable:hover	{ text-decoration: underline; background-color: whitesmoke; }
#menu a.selected	{ padding: 1px; background-color: whitesmoke; }
.box	{ font-size: 95%; padding: 5px; border-width: 1px; border-style: groove; border-color: gray; font-family: monospace; background-color: ivory; }
.cbox	{ font-size: 95%; padding: 5px; border-width: 1px; border-style: groove; border-color: gray; font-family: monospace; background-color: whitesmoke; }
/* .vbox{ font-size: 95%; padding: 5px; border-width: 1px; border-style: groove; border-color: gray; } */
h1	{ display: none; }
h2,h3	{ font-style: italic; background-color: thistle; clear: both; }
h5	{ margin: 0px; text-align: right; }
hr	{ height: 2px; }
dl,ol,ul	{ font-size: 95%; }
p   	{ font-size: 95%; text-indent: 5px; }
p.note	{ color: darkviolet; background-color: lemonchiffon; padding-left: 5px; }
div.clear	{ clear: both; }
div.imgview	{ padding-left: 5px; text-align: right; clear: right; }
span.gray	{ color: slategray; }
span.red	{ color: coral; }
span.violet	{ color: darkviolet; }
td.blue 	{ background-color: rgb(204, 204, 255); }
td.gray 	{ background-color: mistyrose; }
td.green	{ background-color: rgb(204, 255, 255); }
td.pink 	{ background-color: rgb(255, 204, 204); }
td.white	{ background-color: white; }
th.blue, tr.blue	{ background-color: rgb(204, 204, 255); }
th.pink, tr.pink	{ background-color: rgb(255, 204, 204); }
