/* section: convention */

div.main {
    width: 700px;
    margin: 0em auto 0em auto;
}

div.wsp-footer {
    font-size: smaller;
    font-weight: bold;
    font-style: italic;
    text-align: center;
}
div.wsp-footer a {
}
div.wsp-footer a:hover {
}

div.main a {
    color: blue;
}
div.main a:hover {
    color: green;
}

div.main h1 {
    font-size: 150%;
    margin-top: 0;
}
div.main h1 a {
    text-decoration: none;
}

div.main h2 {
    font-size: 120%;
    border-bottom: 1px dashed #88a;
}

div.main code {
    color: #468;
    font-family: monospace;
}

div.main pre {
    background-color: #ddf;
    border: 1px dashed #aaa;
    padding: 1em;
    font-size: smaller;
}

div.main dd {
    margin-bottom: .5em;
}

div.main form input.button {
    font-weight: bold;
}

div.main th input {
    font-weight: bold;
}

div.main li {
    margin-bottom: .2em;
}

div.main dt {
    margin-bottom: .2em;
}

div.main table th {
    text-align: left;
    vertical-align: top;
}

div.main div.description {
    margin-bottom: 1em;
}

div.main dl.helpthesite dt {
    font-style: italic;
}

div.lang-selector-wrapper {
    padding: .5em;
    width: 650px;
    margin: auto;
    margin-top: .5em;
    margin-bottom: .5em;
    text-align: right;
}
div.lang-selector {
    background-color: white;
    border: 1px solid #88c;
    padding: .5em;
    font-size: smaller;
    display: inline;
}
div.lang-selector img {
    padding: 2px;
}

/* section: custom */

div.main-outer {
    margin: 10px;
}
div.main-top {
    height: 25px;
    background: url('../images/mainbg.png-top.png') no-repeat top center;
}
div.main-content {
    background: url('../images/mainbg.png-content.png') repeat-y center;
    border: 1px solid transparent; /* yes, this looks retarded... */
}
div.main-bottom {
    height: 25px;
    background: url('../images/mainbg.png-bottom.png') no-repeat bottom center;
}

div.main {
    width: 700px;
    margin: 0em auto 0em auto;
    display: table;
}

div.main h1 {
    color: #622;
    color: #a0114b;
    border-bottom: 1px solid #a88;
    border-bottom: 0;
}

div.main h2 {
    color: #622;
    color: #a0114b;
    border-bottom: 1px dashed #a88;
    border-bottom: 0;
}

div.main h2 a {
    text-decoration: none;
    font-weight: normal;
    color: #228;
}

/**/