/*
 * style.css: default style sheet
 *
 * This work is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published
 * by the Free Software Foundation; either version 2 of the License,
 * or (at your option) any later version.
 *
 * This work is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
 * USA
 *
 * Copyright (c) 2004 Per Cederberg. All rights reserved.
 */


/* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 *
 *  Default Styles
 *
 */

/* Default document settings */
body {
        margin-top: 12px;
        margin-bottom: 12px;
        margin-left: 12px;
        margin-right: 12px;
        background-color: white;
        color: black;
        font-size: 12px;
}


/* Header formats */
h1 {
        font-family: helvetica;
        font-size: 20px;
        color: rgb(180, 170, 160);
        margin-top: 14px;
        margin-bottom: 10px;
}
h2 {
        font-family: helvetica;
        font-size: 16px;
        margin-top: 8px;
        margin-bottom: 8px;
        color: rgb(140, 130, 130);
}
h3 {
        font-family: helvetica;
        font-size: 12px;
        margin-top: 0px;
}


/* Separator style */
hr {
        width: 100%;
        height: 1px;
        margin-top: 30px;
        border-top: none;
        border-bottom: 1px solid black;
        color: black;
}


/* Link styles */
a {
        font-weight: bold;
        text-decoration: none;
}
a:link {
        color: rgb(200, 140, 100);
}
a:visited,
a:active {
        color: rgb(120, 70, 50);
}
a:hover {
        background: rgb(250, 248, 246);
        text-decoration: underline;
}
a img {
        border-style: none;
}


/* Image style */
img {
        vertical-align: middle;
}

/* Code example style */
pre {
        font-size: 100%;
        font-weight: bold;
        color: rgb(90, 70, 90);
}
code {
        font-size: 100%;
        font-weight: bold;
        color: rgb(90, 70, 90);
        }

/* Script styles */
sub {
        color: rgb(160, 100, 80);
}
sup {
        color: rgb(160, 100, 80);
}

/* List styles */
ul,
ol,
dl {
        margin-top: 6px;
        margin-bottom: 6px;
        padding-left: 30px;
}
dt {
        margin-top: 8px;
        margin-bottom: 0px;
}
dd {
        font-size: smaller;
        margin-top: 4px;
        margin-bottom: 16px;
}
li {
        margin-bottom: 16px;
}

/* Table style */
table {
        width: auto;
        border: none;
        font-size: 12px;
}
th {
        padding: 5px;
        padding-left: 8px;
        padding-right: 8px;
        vertical-align: top;
        text-align: left;
        border: none;
}
td {
        padding: 5px;
        padding-left: 8px;
        padding-right: 8px;
        vertical-align: top;
        border: none;
}

/* Form style */
input.disabled {
        background: rgb(230, 230, 230);
}
button {
        margin-top: 8px;
        margin-bottom: 8px;
        padding-left: 10px;
        padding-right: 10px;
        padding-top: 1px;
        padding-bottom: 1px;
        vertical-align: middle;
        font-size: 13px;
        font-weight: bold;
        background-color: rgb(240, 240, 240);
        border: outset 2px rgb(240, 240, 240);
}
iframe {
        background: white;
        border-top: solid 2px rgb(128,128,128);
        border-left: solid 2px rgb(128,128,128);
        border-right: solid 2px rgb(240,240,240);
        border-bottom: solid 2px rgb(240,240,240);
}


/* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 *
 *  Complex Styles
 *
 */

/* Menu style */
table.menu {
        width: 100%;
        margin-bottom: 14px;
        border-collapse: collapse;
}
table.menu td.logo {
        height: 95px;
        border-bottom: 1px solid black;
        padding: 0px;
}
table.menu td.title {
        height: 60px;
        padding-left: 10px;
        padding-right: 10px;
}
table.menu td.end {
        border-bottom: 1px solid black;
        padding-left: 10px;
        padding-right: 10px;
        font-size: 10px;
        text-align: right;
        vertical-align: middle;
}
table.menu td.active {
        height: 11px;
        width: 1px;
        border: 1px solid black;
        border-bottom-color: white;
        padding-left: 10px;
        padding-right: 10px;
        background: white;
        vertical-align: bottom;
}
table.menu td.inactive {
        height: 11px;
        border: 1px solid black;
        padding-left: 10px;
        padding-right: 10px;
        background: rgb(240, 237, 235);
        vertical-align: bottom;
}
table.menu td.hover {
        height: 11px;
        width: 1px;
        border: 1px solid black;
        border-bottom-color: white;
        padding-left: 10px;
        padding-right: 10px;
        background: rgb(250, 248, 246);
        vertical-align: bottom;
}
table.menu td.space {
        width: 5px;
        border-bottom: 1px solid black;
        padding: 0px;
}
table.menu td.filler {
        width: 100%;
        border-bottom: 1px solid black;
        padding: 0px;
}

/* Form style */
table.form {
        margin-top: 20px;
        margin-bottom: 20px;
        margin-left: 10%;
        margin-right: 10%;
        border: 1px solid black;
        padding: 10px;
        background: rgb(255, 255, 245);
}
table.form td.decoration {
        padding-top: 40px;
}
table.form td.field {
        padding-bottom: 6px;
}
table.form td.buttons {
        text-align: left;
}
table.form button {
        margin-right: 15px;

}

/* Dialog style */
table.dialog {
        margin-top: 5px;
        margin-bottom: 5px;
        margin-left: 5px;
        margin-right: 5px;
        border: 1px solid black;
        padding: 10px;
        background: rgb(255, 255, 245);
}
table.dialog td.decoration {
        padding-top: 40px;
}
table.dialog td.field {
        padding-bottom: 6px;
}
table.dialog td.buttons {
        text-align: right;
}
table.dialog button {
        margin-left: 15px;
}

/* Treeview style */
.treeview {
        width: 330px;
        height: 260px;
        border: 1px solid black;
        padding: 5px;
}
.treeview p {
        margin: 1px;
}
.treeview div {
        display: none;
        padding-left: 24px;
}
.treeview .selected {
        margin: 0px;
        border: 1px dashed black;
        background: rgb(240, 237, 235);
}
.treeview a {
        color: rgb(80, 80, 80);
}
.treeview a:hover {
        background: none;
        text-decoration: none;
}

/* Toolbar table style */
table.toolbar {
        width: 100%;
        border: solid 1px rgb(128,128,128);
        border-bottom: none;
        padding: 0px;
        background: rgb(230,230,230);
}
table.toolbar td {
        padding: 0px;
        padding-top: 3px;
        padding-bottom: 3px;
        padding-left: 6px;
        padding-right: 6px;
}
table.toolbar select {
        vertical-align: middle;
}
table.toolbar .button {
        border: solid 2px rgb(230,230,230);
        padding: 1px;
}
table.toolbar .buttonup {
        border: outset 2px rgb(230,230,230);
        padding: 1px;
}
table.toolbar .buttondown {
        border: inset 2px rgb(230,230,230);
        padding: 1px;
}

/* Compact table style */
table.compact {
        border: none;
}
table.compact th {
        padding: 0px;
        padding-right: 10px;
}
table.compact td {
        padding: 0px;
        padding-right: 10px;
}

/* Bordered table style */
table.border {
        border-style: solid;
        border-width: 1px;
        border-color: black;
        border-collapse: collapse;
        background: white;
}
table.border th {
        border-style: solid;
        border-width: 1px;
        border-color: darkgray;
        background: rgb(240, 237, 235);
        color: rgb(120, 70, 50);
}
table.border td {
        border-style: solid;
        border-width: 1px;
        border-color: darkgray;
}

/* Compact list styles */
ul.compact,
ol.compact,
dl.compact {
        margin-bottom: 16px;
}
ul.compact li,
ol.compact li {
        margin-bottom: 6px;
}
dl.compact dt {
        margin-top: 6px;
}
dl.compact dd {
        margin-bottom: 6px;
}



/* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 *
 *  Other Styles
 *
 */

/* Section styles */
.content {
        margin-left: 30px;
        margin-right: 30px;
}
.first {
        margin-top: 0px;
}
.inner {
        margin-top: 20px;
}
.header {
        margin-top: 0px;
        font-size: smaller;
}
.footer {
        margin-top: 0px;
        font-size: smaller;
}
.leader {
        font-size: smaller;
        font-weight: bold;
        color: rgb(80, 150, 120);
}
.indent {
        padding-left: 30px;
}
div.figure {
        background-color: white; 
        margin: 6px;
        padding-top: 4px;
        padding-bottom: 10px;
        padding-left: 20px;
        padding-right: 20px;
        border: 1px solid rgb(220, 210, 200);
}
div.example {
        padding-left: 20px;
        padding-top: 1px; 
        padding-bottom: 1px; 
        background-color: rgb(255, 250, 240); 
        border: 1px solid rgb(220, 210, 200);
}
div.illustration, p.illustration {
        text-align: center;
}

/* Layout styles */
div.decoration {
        float: right;
        margin-top: -26px;
        margin-bottom: 13px;
        margin-left: 13px;
        margin-right: -20px;
}
div.border {
        padding: 14px;
        border-style: solid;
        border-width: 1px;
        background: white;
}

/* Semantic markers */
.draft {
        background: rgb(255, 204, 204);
        color: red;
}
.important {
        color: red;
        font-weight: bolder;
        font-style: italic;
}
.important a,
.important a:link,
.important a:visited,
.important a:active {
        color: red;
}
.unimportant {
        color: rgb(170, 170, 170);
}
.correct {
        color: green;
}
.incorrect {
        color: red;
}
.online {
}
.offline,
a.offline,
a.offline:link,
a.offline:active,
a.offline:visited {
        font-weight: bold;
        color: red;
}
.modified,
a.modified,
a.modified:link,
a.modified:active,
a.modified:visited {
        font-weight: bold;
        color: rgb(0, 180, 0);
}
.inherited {
        background: rgb(235, 235, 235);
}