html
{
    background: #fff;
    color: #000;
    font-family: "Trebuchet MS", "Georgia", sans-serif;
}

body
{
    margin: 0;
}

img
{
    border: 0;
}

h1
{
    font-size: 2em;
    margin: 0 0 0.7em 0;
}

h2
{
    font-size: 1.5em;
    margin: 0 0 0.6em 0;
}

h3
{
    font-size: 1.2em;
    margin: 0 0 0.5em 0;
    color: #041A9B;
}

p
{
    margin: 0 0 0.7em 0;
}

a:link
{
    color: #041A9B;
}

a:visited
{
    color: #041A9B;
}

a:hover
{
    color: #809DC4;
}

a:active
{
    color: #E59319;
}

pre
{
    border: 0.2em dashed #041A9B;
    width: 850px;
    white-space: pre-wrap;
}

code
{
    font-family: monospace, sans-serif;
    font-size: 90%;
}

pre code
{
    display: block;
    margin: 1em;
}

p code,
li code
{
    color: #666;
    border: 1px solid #ddd;
    border-radius: 3px;
    margin: 2px;
}

table
{
    border-collapse: collapse;
    border-spacing: 0;
}

th
{
    border: thin solid #039;
    padding-top: 0.5ex;
    padding-left: 1ex;
    padding-right: 1ex;
}

td
{
    border: thin solid #039;
    padding-top: 0.5ex;
    padding-bottom: 0.5ex;
    padding-left: 1ex;
    padding-right: 1ex;
}

strong
{
    font-weight: bold;
}

span.maintitle
{
    font-weight: bold;
    font-size: 3em;
    margin-left: 1ex;
}

.clear
{
    clear: both;
}

#page-container
{
    position: relative;
    display: inline-block;
    min-width: 100%;
}

#page-header
{
    border-bottom: 2px solid #039;
    width: 100%;
}

#page-header img
{
    margin: 10px;
    margin-top: 28px;
}

#page-footer
{
    border-top: 2px solid #039;
    text-align: center;
    width: 100%;
}

#page-footer img
{
    margin: 10px;
}

#page-body
{
    width: 1200px;
}

#page-menu
{
    float: left;
    border: 2px solid #039;
    font-size: 80%;
    margin: 20px;
    padding: 10px;
    width: 200px;
}

#page-content
{
    float: left;
    margin: 20px;
    width: 875px;
}

.non-commercial-notice
{
    border: 2px solid #039;
    padding: 10px;
}

/* for old and unsupported versions */
.not-latest-banner{
    background-color:#EED202;
    position: relative;
    top: 0px;
    width: 100%;
}
.not-supported-banner{
    background-color:#EF9A9A;
    position: relative;
    top: 0px;
    width: 100%;
}

.side-menu {
    display: none;
}