body, th, td { line-height: 150%; }

a.menu:link { color: #600000; }
a.menu:visited { color: #600000; }
a.menu { text-decoration: none; }

a.usage:link { color: #600000; }
a.usage:visited { color: #600000; }

.midasi { background-color: #edffed; }
