@charset "utf-8";

body{
font-family: Calibri, Helvetica, sans-serif;
background-color: #fff;
margin: 0;
font-size: small;
color: #222;
}
h1{
position: absolute;
top: 0;
left: 10px;
right: 10px;
overflow: auto;
border: solid #ddd;
border-width: 0 0 1px 0;
font-size: xx-large;
font-family: Times, "Times New Roman", Georgia, serif;
padding: 10px 0;
white-space: nowrap;
margin: 0;
}
#content{
position: absolute;
top: 5.4em;
right: 10px;
bottom: 10px;
left: 190px;
overflow: auto;
padding: 0 10px 10px 10px;
}
ul#menu{
position: absolute;
top: 5.4em;
left: 10px;
bottom: 10px;
width: 160px;
overflow: auto;
//line-height: 11px;
list-style-type: none;
font-family: Calibri, Helvetica, Verdana, sans-serif;
padding: 0 10px 0 0;
margin: 0;
}

/* ----- HEADER ----- */

h1 a{
color: #aaa;
}
h1 a#page{
color: #222;
}
h1 a:hover, h1 a:active{
text-decoration: none;
}
h1 a:hover, h1 a#page:hover{
color: #083;
}
h1 a:active, h1 a#page:active{
color: #0a4;
}
h1 a#jbd{
color: #aaa;
}
h1 a#jbd:hover{
color: #04c;
}
h1 a#jbd:active{
color: #27e;
}
h1 span#date{
font-weight: normal;
font-size: x-large;
}

/* ----- CONTENT ----- */

#content > * {
margin: 0 auto 10px auto;
width: 482px;
font-size: small;
}
#content p, #content ul, #content ol{
line-height: 1.5;
}
#content img{
display: block;
width: auto;
}
#content table{
width: auto;
}
#content p.statement{
text-align: center;
}
#content ul{
padding-left: 0;
}
#content ul#process ul{
padding-left: 2em;
}
#content ul#process li{
list-style-type: none;
}
#content > div{
}
#content ol{
padding-left: 0;
}
#content ol li{
margin-top: 10px;
}
#content ol li:first-child{
margin-top: 0;
}
#content h2{
font-size: small;
}
/* ----- NAV ----- */

/*These should probably be organized into nested lists, like the swz menu.*/
ul#menu li{
margin: 3px 0 0 0;
padding: 0;
}
ul#menu li:first-child{
margin-top: 0;
}
ul#menu li.flanks{
padding: 0 0 5px 0;
font-weight: bold;
}
.off{
color: #aaa;
}
ul#menu li.menu-h{
margin-top: 8px;
padding: 3px 0;
border: solid #ddd;
border-width: 1px 0 0 0;
}
ul#menu a#this{
color: #0a3;
}
ul#menu .uncolor a{
color: #222;
}
ul#menu a:active, ul#menu a#this:active{
color: #0c5;
}

ul#menu input{
height: 12px;
border: solid 1px #bbb;
background: none;
margin: 0;
font: inherit;
width: 100px;
padding: 2px;
}
ul#menu input[type="submit"]{
margin-left: 5px;
height: 19px;
width: 19px;
border: 0;
font-weight: bold;
}
ul#menu input[type="submit"]:hover{
//background: #eee;
color: #0a3;
}
ul#menu input[type="submit"]:active{
//background: #ddd;
color: #0c5;
}
ul#menu form{
margin: 0;
padding: 0;
}
#content input{
font-family: Calibri, Helvetica, sans-serif;
font-weight: bold;
font-size: medium;
}

/* ----- LINKS ETC. ---- */

a{
color: #0a3;
text-decoration: none;
}
a:hover{
text-decoration: underline;
}
a:active{
color: #0c5;
text-decoration: underline;
}
#content h2 {
font-size: xx-large;
}
#content h3 {
font-size: x-large;
}

img{
border: 0;
}

.hidden{
display: none;
}

table{
border-collapse: collapse;
margin-bottom: 10px;
}
th, td{
border: solid 1px #ddd;
padding: 5px;
}
caption{
padding-bottom: 5px;
}
table.wide tr{
border: solid #aaa;
border-width: 1px 0;
}
table.wide th, table.wide td{
border-width: 0 1px;
}
table.text th, table.text td{
border: 0;
vertical-align: top;
}
table.text td > *:first-child{
margin-top: 0;
}
table.text td > *:last-child{
margin-bottom: 0;
}
form table td{
padding: 1px 0;
border: 0;
}
form caption{
border: solid #ddd;
border-width: 0 0 1px 0;
padding: 5px 0;
margin: 3px 0;
}
td label{
display: block;
margin: 0 20px 0 5px;
}
th{
text-align: left;
}
form p{
line-height: 1;
margin: 0 0 3px 0;
}
table#primes{
font-size: large;
}
table#primes th{
text-align: center;
}
table ul ul{
list-style: disc;
}
table ul li{
margin-left: 1em;
}

/* ----- PRINTLES ----- */

@media print{

ul#menu{
display: none;
}

body, a, h1 a, h1 a#page, h1 a#jbd{
color: #000;
}
#content, #header{
position: static;
}
#content{
margin: 0;
padding: 0;
}
#header{
margin: 0;
padding: 0;
border: 0;
}
h1{
font-size: x-large;
margin: 0 0 .5em 0;
}
h1 span#date{
font-size: large;
}
p#byline{
border: 0;
margin: 0;
padding: 0;
font-family: inherit;
}
#content > * {
width: auto;
margin: 0 0 1em 0;
padding: 0;
}
a{
text-decoration: underline;
}
h1 a{
text-decoration: none;
}
img{
max-width: 100%;
}
#content > img, #content > table {
margin: 0 auto 1em auto;
}
th, td{
border-color: #000;
}

}