html
{
    font-size: 87.5%;
    font-family: Arial, 'Lucida Sans Unicode', sans-serif;
    line-height: 1.4;
    text-align: justify;
}

body
{
    background-color: #F3F3F3;
    padding: 32px 4px;
}

.body
{
    margin: 0 auto;
    width: 95%;
    max-width: 1200px;
    clear: both:
}

.top, .main, .bottom
{
    display: block;
}

.navigation
{
    color: white;
    background-color: #3F3F3F;
    border-radius: 6px 6px 3px 3px;
    box-shadow: 0px 0px 4px 2px #A0A0A0;
    padding: 28px 12px 18px 12px;
    border-style: solid;
    border-width: 4px 0px 0px 0px;
    border-color: #569BD3;
    background-image: url('../images/header_bg.png');
    background-repeat: repeat;
}

.navigation a:link, .navigation a:visited
{
    text-decoration: none;
    color: #93CEFF;
    padding: 0.25em 0.35em;
}

.navigation a:hover, .navigation a:active
{
    color: #93CEFF;
    background-color: #5A5A5A;
}

.header
{
    font-weight: normal;
    /*font-variant: small-caps;*/
    font-size: 300%;
    padding-left: 6px;
    margin: 0px 0px 0.5em 0px;
}

ul#navi
{
    margin: 0.4em 0em 0.4em -1.0em;
    padding: 0em;
    text-align: left;
}

ul#navi li
{
    list-style: none;
    display: inline;
    margin: 1em;
    padding: 0.2em;
}

.content
{
    background-color: white;
    border-radius: 3px;
    box-shadow: 0px 0px 4px 2px #A0A0A0;
    padding: 14px 18px;
    margin:28px 0;
    border-style: solid;
    border-width: 4px 0px 0px 0px;
    border-color: #569BD3;
}

.content h1, .content h1 a
{
    font-weight: normal;
    text-decoration: none;
    color: #0C6398;
}

.content h1
{
    padding: 0px;
    margin: 6px 0 6px 0;
    line-height: 1.0;
    font-size: 255%;
    text-align: left;
}

.content h1:before
{
    content: "//";
    /*color: #C8D2D8;*/
    color: #AFC2CD;
    padding-right: 0.2em;
}

/*
.content h1:after
{
    content: "/>";
    color: #C8D2D8;
    padding-left: 0.15em;
}
*/

.content h2, .content h2 a
{
    font-weight: normal;
    text-decoration: none;
    color: #0C6398;
}

.content h2
{
    padding: 0px;
    margin: 22px 0 4px 0;
    line-height: 1.0;
    font-size: 200%;
    text-align: left;
}

.content h3, .content h3 a
{
    font-weight: normal;
    text-decoration: none;
    color: #0C6398;
}

.content h3
{
    padding: 0px;
    margin: 22px 0 4px 0;
    line-height: 1.0;
    font-size: 150%;
    text-align: left;
}

p
{
    margin: 2ex 0px 2px 0px;
}

a
{
    text-decoration: underline;
    transition: background-color 0.25s ease-out;
    -moz-transition: background-color 0.25s ease-out;
    -webkit-transition: background-color 0.25s ease-out;
    border-radius: 5px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
}

a:link, a:visited
{
    color: #2876CE;
    padding: 2px 2px;
}

a:hover, a:active
{
    background-color: #EAEAEA;
}

pre {
    overflow: auto;
    max-height: 350px;

    border-radius: 0.2rem;
    -moz-border-radius: 0.2rem;
    -webkit-border-radius: 0.2rem;

    border-width: 1px;
    border-style: solid;
    border-color: #C0C0C0;

    background-color: #FAFAFA;

    padding: 12px;
    margin: 16px 0px;

    box-shadow: 0rem 0.0rem 0.2rem 0px #A8A8A8;
    -moz-box-shadow: 0rem 0.1rem 0.2rem 0px #A8A8A8;
    -webkit-box-shadow: 0rem 0.1rem 0.2rem 0px #A8A8A8;
}

.article_info
{
    font-style: italic;
    color: #666666;
}

.centered
{
    text-align: center;
    display: block;
    padding: 16px 0px;
}

.quote
{
    font-style: italic;
    background-color: #F4F4F4;
    border-width: 0px 0px 0px 2px;
    border-style: solid;
    border-color: #888888;
    padding: 6px;
}

.inlinecode
{
    font-family: monospace;
    background-color: #ECECEC;
    padding-left: 3px;
    padding-right: 3px;
}

.footer
{
    font-size: 78%;
    text-align: center;
    color: #444444;
    background-color: #F0F0F0;
    border-radius: 3px;
    box-shadow: 0px 0px 4px 2px #A0A0A0;
    padding: 6px 10px;
}

@media only screen and (min-width: 150px) and (max-width: 800px)
{
    body
    {
        padding: 10px 0px;
        font-size: 100%;
    }

    .body
    {
        width: 100%;
    }

    .navigation
    {
        text-align: center;
        border-radius: 0px;
        padding: 1.0em 1.0em 0.6em 1.0em;
        border-radius: 0px;
    }

    .header
    {
        font-size: 255%;
        margin-bottom: 0.25em;
    }

    .content
    {
        margin: 10px 0px;
        padding: 12px 12px;
        border-radius: 0px;
    }

    .content h1
    {
        font-weight: normal;
        padding: 0px;
        color: #0C6398;
        line-height: 1;
        font-size: 225%;
    }

    .content h2
    {
        font-size: 180%;
    }

    .content h3
    {
        font-size: 135%;
    }

    .content h1:before
    {
        content: "";
        padding-right: 0em;
    }

    .content h1:after
    {
        content: "";
        padding-left: 0em;
    }

    ul#navi li
    {
        display: block;
        text-align: center;
        margin: 0.3em 1em;
    }

    .footer
    {
      border-radius: 0px;
    }
}