body {
    font-family:Times,"Times New Roman",serif;
    font-size:18px;
    background: white url(b35s236c6g.gif);
}
div {
    background-color:#FFF;
    max-width:1000px;
    border-style:solid;
    border-color:#009246;
    border-width:2px;
    margin-top:3lh;
    margin-bottom:3lh;
    margin-left:auto;
    margin-right:auto;
    padding-left:2em;
    padding-right:2em;
}
h1, h2, nav {
    text-align:center;
}
h1 a, li a {
    padding-top: 14px;
    padding-bottom: 14px;
}
img {
    padding: 22px
}
h2 {
    font-size:larger;
    font-weight:bold;
}
dt {
    font-weight:bold;
}
p, th, td {
    line-height:1.5;
}
code, pre {
    font-size:smaller;
}