@charset "utf-8";

html {
    font-family: "Trebuchet MS", helvetica, sans-serif;
    font-size: 87%;
    margin: 0;
    margin-bottom: -1px;  /* hide footer border */
    padding: 0;
}

body {
    margin: 0;
    padding: 0;
    text-align: center;
}

a {
    color: green;
}

a:hover {
    color: #3a3;
}

acronym {
    border-bottom: none;
}

acronym.expanded:before {
    content: attr(title) " (";
}

acronym.expanded:after {
    content: ")";
}

.invisible {
    display: none;
}

img.screenshot {
    border: 1px solid black;
    margin: 0.5em 0;
}

#header {
    margin: auto;
    margin-top: 1.0em;
    text-align: left;
    width: 40em;
}

#header h1 {
    display: inline;
    padding-right: 0.1em;
}

#header h1 a {
    text-decoration: none;
}

#header p {
    display: inline;
    font-style: italic;
    line-height: 1.3em;
}

#nav {
    background: #060 url(../images/nav.png) repeat-y fixed top left;
    border-top: 1px solid #030;
    border-bottom: 1px solid #030;
    color: white;
    margin: 1.5em 0;
    text-align: center;
    width: 100%;
}

#nav ul {
    margin: 0;
    padding: 1.0em;
}

#nav li {
    display: inline;
}

#nav li a {
    /*border-left: 1px solid #060; 
    border-right: 1px solid #060; */
    margin-left: 1px;
    margin-right: 1px;
    color: white;
    padding: 1.0em;
    text-decoration: none;
}

#nav li.active a {
    text-decoration: underline;
}

#nav li a:hover {
    background: green;
    border-left: 1px solid #030; 
    border-right: 1px solid #030; 
    margin-left: 0;
    margin-right: 0;
}

#main {
    margin: auto;
    text-align: left;
    width: 40em;
    text-align: justify;
}

#main h2 {
    display: inline;
    color: green;
    padding-right: 0.1em;
}

#main h2:before {
    /*content: "\00bb";
    content: "\21e2";
    content: "\21aa";
    content: "\2318";*/
    content: "\27a0  ";
}

#main h2 + p {
    display: inline;
}

#main h3, #main h4 {
    color: green;
    margin-top: 1.5em;
}

#main pre {
    background: #eee;
    border: 1px solid #ddd;
    padding: 0.5em 0.5em;
    overflow: auto;
}

#main table {
    padding: 1.0em 0;
}

#main ul, ol {
    padding: 0 2.0em;
}

#main ul li {
    padding: 0.5em 0;
}

#main ol li {
    padding: 0.1em 0;
}

#footer {
    /*background: #dfb;*/
    background: #dfb url(../images/shadow.png) repeat-x top left;
    border-top: 1px solid #9b9;
    border-bottom: 1px solid #9b9;
    margin-top: 2.0em;
    text-align: left;
    width: 100%;
}

#footer p {
    font-size: 0.8em;
    margin: auto;
    padding: 1.0em 0;
    width: 50em;
}
