@charset "utf-8";
body {
margin: 0;
background-color: #ff6;
color: #000;
}
.main {
border-right: 9px double #00f;
border-bottom: 9px double #00f;
border-left: 9px double #00f;
padding-bottom: 1em;
}
h1 {
background-color: #00f;
border: 3px double #000;
color: #fff;
font-size: 1.5em;
font-weight: 700;
margin: 0;
padding: 2%;
text-align: center;
}
h2 {
font-size:  1.3em;
font-weight: 700;
margin: 0 auto 0 1px;
padding: 1.5em 2% 0;
}
h3 {
font-size: 1.1em;
font-weight: 700;
margin: 0 auto 0 1px;
padding: 1em 5% 0;
}
p {
padding: 1em 2% 0 5%;
margin: 0;
}
div.table {
padding: .6em 2% 0 5%;
margin: 0}
/*table > tr:first-child {padding-top: 1em}*/
tr {padding: 0}
th, td {
padding: .4em 1em 0 0;
vertical-align: text-top;
text-align: left;
}
th {font-family: Verdana, Helvetica, Arial, sans-serif}
th, strong {font-weight: bold}
em, var {font-style: italic}
/*table {margin-left: 5%}*/
ul, ol {
margin: 0 auto 0 1px;
padding: .6em 2% 0 9%;
font-weight: normal;
}
ul ul {padding-top: 0}
ul.top {
list-style-type: none;
font-weight: 700;
padding-top: .5em;
padding-left: 5%;
}
ul.top li {padding-top: 0}
li {padding: .4em 1.2em 0 0}
a:link {
color: #00f;
background-color: #ff6;
}
a:visited {
color: #000;
background-color: #ff6;
}
a:active {
color: #f00;
background-color: #ff6;
}
a:link.offsite {
color: #00f;
background-color: #6ff;
}
a:visited.offsite {
color: #000;
background-color: #6ff;
}
a:active.offsite {
color: #f00;
background-color: #6ff;
}
a:hover, a:hover.offsite {color: #ff0;
background-color: #003;
text-decoration: none;
}
p.navbar {
background-color: #000;
color: #ff0;
padding: .5em 1em;
border: 3px double #ff0;
text-align: center;
margin: 0 0;
font-weight: bold;
font-size: 1.3em;
}
p.navbar a:link {
background-color: #000;
color: #ff0;
}
p.navbar a:visited {
background-color: #000;
color: #ff6;
}
p.navbar a:hover {
background-color: #ff6;
color: #000;
}
p.navbar a:active {
background-color: #000;
color: #f00;
}
p.navbar .current {
background-color: #000;
color: #fff;
}
.footer {
font-size: 0.9em;
font-style: italic;
padding-bottom: 1em;
}
img {
float: right;
margin: 1em;
}
.date {white-space: pre}
.applet {
text-align: center;
margin: 3em auto;
}