@charset "UTF-8";

body {
    background-color: #a0a0ff;
}

table.body {
    border: none;
}

td.content {
    border: none;
    margin-top: 0;
    vertical-align: top;
    background-color: #ffffff;
    padding: 2em;
}

td.menu {
    border: none;
    padding-right: 1em;
    margin-top: -2em;
    vertical-align: top;
}

div.content {
    clear: both;
    float: right;
    width: 50%;
    padding: 2em;
    background-color: #ffffff;
}

div.trans {
    font-size: smaller;
}

div.languages {
    float: right;
    margin-top: 4em;
}

div.kernelinfo {
    margin-top: 1em;
    border: solid 1px #ffff80;
    padding: 0.2em;
}

div.menu {
    background-color: #a0a0ff;
    float: left;
    font-size: smaller;
    padding: 1em;
    margin-top: -2em;
}

div.header {
    background-color: #a0a0ff;
    margin-top: -4em;
    margin-bottom: -5em;
}

div.footer {
    background-color: #a0a0ff;
    clear: both;
    padding: 1em;
    font-size: smaller;
    text-align: right;
}

div.form {
    text-align: center;
}

table.post td {
    text-align: left;
}

span.notice {
  color: #a00000;
  font-size: smaller;
}

h1 {
    text-align: center;
    font-weight: bold;
    padding: 0.5em;
}

h2 {
    text-align: left;
    font-weight: bold;
}

a {
    color: #000080;
    text-decoration: none;
}

a:hover {
    color: #000000;
    background-color: #ffff80;
    text-decoration: none;
}

dt {
    background-color: #80ff80;
    border: solid 1px #999;
    padding: 1px;
    margin-top: 2px;
}

dt.checknow {
    background-color: #ffa080;
    border: solid 1px #999;
    padding: 1px;
    margin-top: 2px;
}

dd {
    background-color: #f0fff0;
    padding: 1px 1em 1px 1em;
    margin-left: 1em;
}

address {
}

p {
    margin-left: 2em;
}

pre {
    font-size: smaller;
}

table {
    width: 100%;
    border: solid 1px #999;
    margin-bottom: 0.5em;
}

th {
    border: solid 1px #999;
    background-color: #80ff80;
    padding: 0.2em;
}

td {
    border: solid 1px #999;
    padding: 0.2em;
}

ul {
    font-size: larger;
    list-style: none;
}

pre.kernelinfo {
    font-size: 6pt;
}