body {
    background: #EEEEEE;
}

div.title {
    text-align: center;
    width: 70%;
    margin-right: auto;
    margin-left: auto;
}

div.logo_main {
    font-family: sans, arial, helvetica;
    font-size: 38pt;
    border: #0f6273 3px solid;
    background: #DDDDFF;
    text-align: center;
    margin: 0;
    padding: 0;
    font-weight: normal;
}

div.logo_sep {
    font-size: 0pt;
    border: #0f6273 1px solid;
    margin-top: 3px;
    margin-bottom: 2px;
}

div.logo_sub {
    font-family: mono, courier;
    font-size: 15pt;
    text-align: center;
    margin-bottom: 2px;
}

div.main {
    border: #0f6273 2px solid;
    margin-right: auto;
    margin-left: auto;
    width: 70%;
    padding: 2px;
}

div.menu_cont {
    width: 19%;
    float: left;
    margin: 4px;
    background: #FFFFFF;
    display: block;
}

div.menu_body_top div {
    background: url(images/tl.gif) no-repeat top left;
}

div.menu_body_top {
    background: url(images/tr.gif) no-repeat top right;
}

div.menu_body_bot div {
    background: url(images/bl.gif) no-repeat bottom left;
}

div.menu_body_bot {
    background: url(images/br.gif) no-repeat bottom right;
}

div.menu_body_top div, div.menu_body_top, div.menu_body_bot div, div.menu_body_bot {
    width: 100%;
    height: 7px;
    font-size: 1px;
}

div.menu_body, div.menu_body a {
    margin: 0 7px;
    padding-top: 2px;
    padding-bottom: 2px;
    font-family: mono, courier;
    font-size: 12pt;
    color: #000000;
    text-decoration: none;
}

div.menu_body a:hover {
    color: #555599;
    text-decoration: none;
}

div.main_body_cont {
    display: block;
    margin-left: 22%;
    width: 76%;
    background: #FFFFFF;
    margin-top: 4px;
    margin-bottom: 4px;
}

div.main_body_top div {
    background: url(images/tl.gif) no-repeat top left;
}

div.main_body_top {
    background: url(images/tr.gif) no-repeat top right;
}

div.main_body_bot div {
    background: url(images/bl.gif) no-repeat bottom left;
}

div.main_body_bot {
    background: url(images/br.gif) no-repeat bottom right;
}

div.main_body_top div, div.main_body_top, div.main_body_bot div, div.main_body_bot {
    width: 100%;
    height: 7px;
    font-size: 1px;
}

div.main_body {
    margin: 0 7px;
    font-size: 12pt;
}

div.main_body a {
    color: #000000;
    text-decoration: none;
    font-family: mono, courier;
    font-weight: bold;
    font-size: 12pt;
}

div.main_body a:hover {
    color: #555599
}

h1,h3 {
    font-family: mono, courier;
    text-align: center;
    font-size: 16pt;
}

div.main_body pre {
    font-family: mono, courier;
    font-size: 9pt;
    white-space: pre;
    overflow: auto;
}

div.copyright {
    text-align: center;
    font-family: mono, courier;
    font-size: 8pt;
    width: 100%;
}

img.screenshot {
    width: 70%;
    height: 70%;
}

div.screenshots {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

div.w3cbuttonx {
    position: absolute;
    left: 20%;
    margin-top: 2pt;
}

div.w3cbuttonc {
    position: absolute;
    right: 20%;
    margin-top: -8pt;
}

div.w3cbutton3 {
    width: 9em;
    border: 1px solid #ccc;
    font-family: helvetica,arial,sans-serif;
    font-size: 8pt;
    font-weight: bold;
}
div.w3cbutton3 a {
    display: block;
    width: 100%;
}
div.w3cbutton3 a:link,
div.w3cbutton3 a:visited,
div.w3cbutton3 a:hover {
    background-color: #bcf;
    color: #000;
    text-decoration: none;
}
div.w3cbutton3 span.w3c {
    padding: 0 0.4em;
    margin: 0;
    background-color: #fff;
    color: #0c479d;
}

input, textarea {
    border: #0f6273 1px solid;
    background: #eeeeee;
}