a {
 color: blue;
 text-decoration: none;
}
a:visited {
 color: blue;
}
.author {
 text-align: right;
 margin-top: 0;
}
body {
 margin-top: 3px;
 margin-bottom: 5px;
}
.catch {
 background-color: #E8E8E8;
 border-color: gray;
 border-style: solid;
 border-width: 1px;
}
.cite {
 text-align: right;
 font-style: italic;
 font-size: 18px;
 padding-right: 18px;
 margin-bottom: 10px;
}
.code {
 display: block;
 font-family: "Courier New", monospace;
 border-style: solid;
 border-color: white;
 white-space: nowrap;
}
.color {
 border-color: black;
 border-style: solid;
 border-width: 1px;
 height: 16px;
 width: 18px;
}
.content {
 vertical-align: top;
}
.copyright {
 text-align: right;
}
.csscolor {
 font-family: monospace;
}
dl {
 border-style: solid;
 border-width: 1px;
 border-color: black;
 padding: 5px;
}
dt.c6 {
 font-weight: bold;
}
.element {
 border-style: solid;
 border-width: 1px;
 margin-bottom: 1em;
 text-align: right;
}
.element a, .element span {
 padding: 2px;
 display: block;
}
.element div {
 background-color: #E8E8E8;
 border-bottom-style: solid;
 border-bottom-width: 1px;
 border-left-style: none;
 border-right-style: none;
 border-top-style: none;
 margin-bottom: 0;
 text-align: left;
 padding: 1px;
}
.field {
 background-color: #E6E6E6;
}
h1 {
 margin-top: 30px;
}
img {
 border-width: 0;
}
.info {
 border-collapse: collapse;
 margin-bottom: 2ex;
}
.info td {
 border-style: solid;
 border-width: 1px;
 border-color: black;
}
.inspector {
 width: 100%;
 margin-bottom: 15px;
 padding: 2px;
 font-family: sans-serif;
}
.logo {
 margin: 0;
 padding: 0;
 font-weight: bold;
}
.mail {
 color: #009B00;
}
.myth {
 margin-top: 2ex;
}
p.c3 {
 text-align: right;
}
p.s {
 font-size: 12px;
 margin-top: 0;
}
PRE {
 background-color: #E6E6E6;
 padding: 3px;
}
pre.code {
 font-family: "Courier New", monospace;
 background-color: #E8E8E8;
}
.refs {
 width: 160px;
 vertical-align: top;
 font-family: sans-serif;
}
.s {
 font-size: 13px;
}
.sc {
 font-size: 11px;
 background-color: #E8E8E8;
 margin-top: 1em;
 padding: 3px;
}
.space {
 width: 50px;
}
span.c1 {
 font-family: sans-serif, Arial;
 font-size: 41px;
}
span.c2 {
 color: #808080;
 font-family: monospace, "Courier New";
 font-size: 30px;
 font-weight: bold;
}
span.c5 {
 font-family: sans-serif, Arial;
}
span.lemma {
 border-style: solid;
 border-width: 1px;
 border-color: black;
 padding: 3px;
}
table {
 border-collapse: collapse;
}
.value {
 text-align: right;
}