body {
    font-family: helvetica, verdana, sans-serif;
    font-size: 12px;
    background-color: #fff;
    padding: 10px 35px 35px 35px;
    width: 800px;
    margin: auto;
}

#top {
    text-align: center;
}

h2 {
    font-size: 18px;
    color: #333;
    margin: 35px 0 10px 0;
}

h3 {
    color: #333;
    border-bottom: 1px solid #999;
    font-size: 15px;
    margin: 30px 0 3px 0;
}

.first {
    margin-top: 20px;
}

h4 {
    color: black;
    font-size: 13px;
    margin: 10px 0 5px 0;
}

pre {
    font-size: 11px;
    margin-top: 5px;
    padding: 4px;
    background-color: #e3e2c6;
    border: 1px solid #999;
}

.hl {
    background-color: #ffffcc;
}

ol {
    margin: 0;
    padding: 0 0px 0 20px;
}

li {
    padding: 5px 0 5px 0;
}

img {
    border: 0;
}

/*
 * Menu
 */
#menu {
    border-bottom: 1px solid #999;
    margin: 20px 0px;
    padding: 10px 0pt 5px;
    text-align: center;
}

#menu li {
    display: inline;
    margin: 0px;
    padding: 0px;
}

#menu a {
    background: #ddd none repeat;
    border: 1px solid #999;
    margin: 0 5px 0 5px;
    padding: 5px;
}

#menu a.current {
    background: #fff none repeat;
    border-bottom: 1px solid #fff;
}

#menu a {
    color: black;
    text-decoration: none;
}