body {
 font-family: sans-serif;
 font-size: 80%;
 margin: 0px;
 background-color: #90d0ff;
 background-image: url(/img/tutone.png);
 background-attachment: fixed;
 background-position: top center;
 background-repeat: repeat-x;
}

div#menu {
 position: absolute;
 display: table;
 left: 0px;
 right: 0px;
 top: 128px;
 width: 90%;
 margin-left: auto;
 margin-right: auto;
 border: 1px solid white;
}

div#menu a:link, div#menu a:visited {
 display: table-cell;
 text-align: center;
 border: 1px solid transparent;
 color: #40a0ff;
 text-decoration: none;
 font-weight: bold;
 font-size: 85%;
 z-index: 10;
 vertical-align: middle;
 padding: 4px;
 background-color: #004080;
 letter-spacing: 2px;
}

div#menu a:hover {
 border: 1px dashed #ffffff;
 color: #80ffff;
 background-image: url(/img/bg3.jpg);
 background-attachment: fixed;
 background-position: top center;
}

div#content {
 position: absolute;
 left: 8px;
 top: 162px;
 right: 8px;
 border: 1px solid #004080;
 text-align: justify;
 padding: 8px;
 background-color: #ffffff;
 color: #000000;
 margin-bottom: 8px;
}

div#content img {
 border: 1px solid black;
}

div#logo {
 position: fixed;
 top: 0px;
 left: 0px;
 right: 0px;
 width: 100%;
 background-image: url(/img/synset.png);
 background-position: right center;
 background-repeat: no-repeat;
 height: 150px;
 background-color: transparent;
}

div#copyright {
 position: absolute;
 padding: 2px;
 bottom: 2px;
 left: 0px;
 width: 100%;
 font-style: italic;
 color: #0080ff;
 text-align: right;
 background-image: url(/img/bg3.jpg);
 background-attachment: fixed;
 background-position: top center;
 color: #ffffff;
 font-size: 80%;
 display: none;
}

h1, h2, h3, h4, h5 {
 border-bottom: 2px solid #000080;
 color: #000000;
 background-image: url(/img/bg3.jpg);
 background-attachment: fixed;
 background-position: top center;
 margin-bottom: 8px;
 clear: both;
}

p {
 margin-left: 16px;
 margin-right: 16px;
}

div#toplinks {
 position: fixed;
 top: 8px;
 left: 8px;
 font-size: 90%;
 font-weight: bold;
 color: #000000;
}

div#toplinks a {
 color: #00a0ff;
 text-decoration: none;
 padding: 2px;
 border: 1px solid transparent;
}

div#toplinks a:hover {
 border: 1px solid white;
 color: #00ffff;
}

dt {
 font-weight: bold;
 margin-top: 4px;
}

dd {
 margin-bottom: 4px;
}

td.key {
 width: 10em;
}

textarea, td.value input {
 width: 100%;
}

textarea {
 height: 12em;
}

label {
 display: block;
 text-align: right;
 cursor: pointer;
 font-weight: bold;
}