/* Conjecture site skin
   adapted from nedit.org
*/

BODY {
    margin: 0px 1px 0px 0px;
    font-family: sans-serif;
    font-size: 10pt;
    color: #000;
    background: #FFF;
}

P {
    font-size: 10pt;
    margin: 0px 0px 5px 0px;
    text-indent: 1em; 
}

P:first-child {
    font-size: 10pt;
    margin: 0px 0px 5px 0px;
    text-indent: 0em; 
}

P P {
    /* Why isn't the text indenting working */
    font-size: 16pt;
    margin: 0px 0px 5px 0px;
    text-indent: 2em; // Provides start-of-paragraph indentation
}

H1, H2, H3 {
    background: inherit;
    margin: 10px 0px 5px 0px;
    font-weight: bold;
    border-bottom: solid #000;
    border-width: 0px 0px 1px 0px;
}

H1 {
    color: #557;
    font-size: 150%;
}

H2 {
    color: #555;
    font-size: 110%;
}

H3 {
    color: #555;
    font-size: 100%;
}

A {
    font-weight: normal;
    color: #55B;
}

A:hover {
    text-decoration: underline;
}

A:visited {
    color: #768;
}

DL {
    font-size: 10pt;
    margin: 0px;
}

DT {
    color: #B55;
    padding-top: 5px;
    font-weight: bold;
    border-bottom: solid #000;
    border-width: 0px 0px 1px 0px;
}

DD {
    margin: 0px 0px 15px 10px;
}

CODE, TT {
    color: #756;
}

PRE {
    color: #756;
    padding-left: 10px;
    margin-top: 5px;
    margin-bottom: 0px;
}

TD {
}

TH {
    padding: 5px 5px 5px 5px;
    text-align: left;
}

TABLE {
    font-size: 10pt;
    margin-bottom: 10px;
}

UL, OL {
    font-size: 10pt;
    padding-left: 2em;
    /* These may become problematic - just experimenting */
    padding-top: 4px;
    padding-bottom: 4px;
}

OL OL, UL OL, UL UL {
    padding-left: 20px;
}

OL {
    list-style-type: decimal;
}

OL OL {
    list-style-type: upper-alpha;
}

LI {
    text-indent: 0px;
    list-style-position: outside;
}


/* navigation bar */
TD.navigation {
    background: #00C; /* #C23; */
    color: #EEE;
    padding: 5px 15px 5px 15px;
    border: solid #000;
    border-width: 1px 0 0 0;
}

TD.submenu {
    /* NOTE: color and background are overshadowed by A.navigation
       in active menus */
    color: #EEE;
    background: #ADD8E6;
    border: solid #000;
    border-width: 0px 0px 1px 0px;
    padding: 5px 5px 5px 15px;
}

TD.subsubmenu {
    background: #EEE;
    color: #B55;
    border: solid #000;
    border-width: 0px 0px 1px 0px;
    padding: 5px 5px 5px 15px;
}


.nav {
    color: #A67;
}

A.navigation, A.navigation:visited {
    text-decoration: none;
    color: #FFF;
    padding: 5px;
}

A.navigation-active, A.navigation-active:visited {
    text-decoration: none;
    color: #222;
    background-color: #ADD8E6; /* #C88; */
    padding: 5px;
}

A.submenu, A.submenu:visited {
    text-decoration: none;
    color: #555;/* #B55; */
    padding: 5px;
}

A.submenu-active, A.submenu-active:visited {
    text-decoration: none;
    color: #EEE; /* #222; */
    background-color: #00C; /* #C88; */
    padding: 5px;
}

A.subsubmenu, A.subsubmenu:visited {
    text-decoration: none;
    color: #B55;
    padding: 5px;
}

A.subsubmenu-active, A.subsubmenu-active:visited {
    text-decoration: none;
    color: #222;
    background-color: #C88;
    padding: 5px;
}

#breadcrumb, #breadcrumb A {
    color: #A67;
    font-weight: normal;
}

A.navigation:hover, A.navigation-active:hover, A.submenu:hover, A.breadcrumb:hover {
    text-decoration: underline;
}

FORM.search {
    display: inline;
}

INPUT.search, INPUT.search-button, INPUT.button {
    color: #999;
    background: #FFF;
    border: solid 1px #000;
    font-size: 90%;
    font-weight: bold;
    margin: 2px 0px 2px 3px;
    padding: 2px 5px 2px 5px;
}

INPUT.search-button {
    background: #CCC;
    padding: 1px;
}

/* content frame */

.content {
    color: #000;
    background: #FFF;
    text-align: justify;
}

TD.content {
    padding: 0px 30px 10px 10px;
}

INPUT.text {
    color: #000;
    background: #EEE;
    border: solid 1px #55B;
    font-size: 90%;
    font-weight: bold;
    margin: 2px 0px 2px 3px;
    padding: 1px 5px 1px 5px;
}

INPUT.button {
    background: #CCC;
    padding: 1px;
}

/* info boxes */

TABLE.info {
    border: 1px solid #000;
}

TH.info {
    background: #EEE;
    color: #55B;
    padding: 1px;
    border-bottom: 1px solid #000;
    text-align: center;
}

P.info, TD.info {
    padding: 0px 2px 0px 2px;
    font-size: 90%;
}

UL.info {
    padding-left: 4px;
}

LI.info {
    text-indent: 0px;
}

A.info {
    text-decoration: none;
    font-weight: normal;
    background: inherit;
    color: #436;
}

A.infohead {
    text-decoration: none;
    font-weight: bold;
    background: inherit;
    color: #55B;
}

A.info:hover, A.infohead:hover {
    text-decoration: underline;
}

/* miscellaneous */

TABLE.message {
    margin-top: 10px;
    border: 1px solid #A67;
}

TH.message {
    background: #A96F74;
    color: #EEE;
    padding: 1px;
    text-align: center;
}

TD.message {
    padding: 0px 2px 0px 2px;
    font-size: 90%;
    color: #A67;
}

TD.right {
    padding-bottom: 5px;
}

P.note {
    font-weight: bold;
    color: #A67;
}

.quote {
    font-style: italic;
    color: #756;
    padding-left: 10px;
}

SPAN.url {
    font-family: monospace;
    color: #756;
}

TD.tail {
    border-top: 1px solid #000;
    padding: 5px;
    font-size: 90%;
}

.sig {
    font-size: 90%;
    background: inherit;
    color: #55B;
    padding: 2px 5px 0px 2px;
}

.nopad {
    padding: 0px;
    border: 0px;
    margin: 0px;
}

.caption {
    font-size: 90%;
    color: #666;
}

.faq {
    color: #666;
}

.arch TD {
    background-color: #EEE;
}

/* *****************************************************
 *
 *   Copied from doxygen.css
 *
 ******************************************************* /
.fragment {
       font-family: Fixed, monospace;
       font-size: 95%;
}
PRE.fragment {
	border: 1px solid #CCCCCC;
	background-color: #f5f5f5;
	margin-top: 4px;
	margin-bottom: 4px;
	margin-left: 2px;
	margin-right: 8px;
	padding-left: 6px;
	padding-right: 6px;
	padding-top: 4px;
	padding-bottom: 4px;
}