h1#logo {
 font-family: Times, Garamond, serif;
 margin: 0; padding: 0;
 color: #000080; text-align: left;
}
div#navi {
 font-weight: bold;
 margin: 0.5em 0 1em 0; padding: 0;
}
div#navi a {
 margin: 0; padding: 0 0.2em 0 0.2em;
}
div#navi a:hover {
 background-color: white;
}
div#navi a:active {
 color: white; background-color: blue;
}
div#navi span {
 margin: 0; padding: 0 0.2em 0 0.2em;
}
/* 2012-11-25 */