body {
  background: #fff;
  color: #333;
  font-size: 80%;
}

h1, h2, h3, h4, h5 {
  color: #336
}

h1.title {
  border-left: 10px solid black;
  padding-left: 10px;
}

.navi {
  padding: 0.2em;
  border-top:    1px dashed black;
  border-bottom: 1px dashed black;
}

.navi .navi_element {
  padding-left:  0.5em;
  padding-right: 0.5em;
}

h2.contents {
  border-left:   10px solid black;
  border-bottom:  1px dashed black;
  padding-left:  10px;
}

                                                                            hr {
  border: 1px dotted black;
}

table.download {
  border-collapse: collapse;
  font-size: 1em;
}

table.download tbody tr:hover{
  background-color: #036;
  color: white;
}

table.download tbody tr:hover a{
  color: white;
}

table.download tr th {
  border-bottom: 1px solid black;
  padding: 0px 1em 0px 1em;
}

table.download tr td {
  border-top: 1px dashed black;
  padding: 0px 1em 0px 1em;
}

table.link {
  border-collapse: collapse;
  margin: 5px;
  table-layout: fixed;
}

table.link tr td {
  width: 150px;
  vertical-align: top;
  border: 0px solid black;
  padding: 0.2em;
}

table.usage {
  font-size: small;
}

.strong {
  color: red;
}

.hidden {
  color: #fff;
  background: #fff;
}

form {
  margin: 0px;
  display: inline;
}

ul {
  margin-top: 0px;
  margin-bottom: 0px;
  padding-left: 2em;
}

ul li {
  list-style-type: square;
}

td.number {
  text-align: right;
}

a {
  font-weight: bold;
  color: #468;
  text-decoration: none;
  outline: none;
}

a:visited {
  color: #448;
}

a:hover {
  border-style: solid;
  border-color: #484;
  border-width: 0px 0 1px 0;
  background-color: #333;	
  color: white;
}

a.active {
  color: #000;
}

div.information {
  color: #808080;
  text-align: right;
}

div.copyright {
  font-size: small;
  text-align: right;
}

td.subject {
  text-align: center;
}

td.decimal {
  text-align: right;
}

p.map_tree {
  font-family: monospace;
}