body { color: #000000; background-color: #ffffff;
       font-family: sans-serif }
a { text-decoration: none; border-style: none }
a:link { color: #000099 }
a:visited { color: #000066 }
a:hover { color: #ffffff; background-color: #9999ff }
a:active { color: #ffffff; background-color: #9999ff }
a.img { display: block }
a img { display: block; padding: 2px 4px; margin: 0px; border-style: none; }
a img:hover { background-color: #9999ff }
.navi { font-size: 80%; font-weight: bold;
	background-color: #9999ff;
	padding: 3px;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}
.navi .logo { font-size: 125%; color: #ffffff; margin-right: 0.5ex }
.navi a { color: #000000; margin-right: 0.5ex }
.navi a:hover { color: #ffffff; background-color: #ccccff }
.navi a:active { color: #ffffff; background-color: #ccccff }
.navi a.current { color: #ffffff }
.foot { font-size: 80%; background-color: #ccccff;
	padding: 2px; margin-top: 2px;
	clear: both;
}
.foot .leftfloat {
     float: left;
     margin-top: 0px; margin-bottom: 2px;
     margin-left: 0px; margin-right: 4px;
     }
h1 { font-size: 150%; margin-top: 1em; margin-bottom: 0.5em }
h2 { font-size: 120%; margin-top: 1em; margin-bottom: 0.5em }
tr { background-color: #ccccff; }
tr.odd { background-color: #cccccc; }
tr.emph { background-color: #ffcccc; font-weight: bold }
th { background-color: #9999ff; font-weight: bold;
     vertical-align: top; text-align: left }
td { padding-left: 4px; padding-right: 4px }
.center { text-align: center }
.right { text-align: right }
.clear { clear: both }
.box { padding: 2px 4px; margin: 2px 0px; background-color: #ccccff; }
.box .leftimg {
     float: left; padding: 2px 4px; margin-right: 4px; text-align: center;
     }
.box .leftfloat {
     float: left;
     margin-top: 0px; margin-bottom: 2px;
     margin-left: 0px; margin-right: 4px;
     }
.invisible { display: none }