/*
Cascading style sheet for tree: index.html
*/
BODY {
    margin: 0px;
    padding: 0px;
}
INPUT {
    border: 3px inset brown;
    margin: 0.2em;
    padding: 0.2em;
    color: #5C4033;
    background-color: #dfd0b0;
}
 .bodyWrap {
    position: absolute;
    left: 0px;
    top: 0px;
    width: 100%;
    height: 100%;
    font-size: large;
}
#leftNav a:link, a:visited, a:hover, a:active {
    color: #dfd0b0
}
#leftNav {
    position: fixed;
    background-color: #5C4033;
    color: #dfd0b0;
    top: 0px;
    left: 0px;
    margin: 0em;
    padding: 0.74em;
    width: 3em;
    height: 100%;
    overflow: auto;
}
#topNav a:link, a:visited, a:hover, a:active {
    color: #dfd0b0
}
#topNav {
    position: relative;
    background-color: #5C4033;
    color: #dfd0b0;
    top: 0px;
    left: 0px;
    margin: 0px;
    margin-left: 4.4em;
    padding: 0px;
    padding-right: 1em;
    height: 100px;               /* See the JS comment about this */
}
#topNav TABLE TD {
    padding-top: .5em;
}
#pageContent {
    margin-left: 4.4em;
    overflow: auto;
    background-color: #dfd0b0;
    color: #5C4033;
    text-align: left;
    height: 90%;                /* See the JS comment about this */
}
#pageContent a:link {
    color: #5C4033
}
#pageContent a:visited {
    color: #5C4033
}
#pageContent a:hover {
    color: #5C4033
}
#pageContent a:active {
    color: #5C4033
}
.pad {
    padding: 1.5em;
}
.centered {
    text-align: center;         /* sub-DIVs should then declare margin: auto! */
}
.headers {
    width: 100%;
    text-align: center;
}
TD BIG, .nowrap {
    white-space: nowrap;
}
BODY {
    overflow: hidden;
}
#allTermsList {
    width: 35%;
    text-align: left;
    margin: auto;
    white-space: nowrap;
}
#termsList {
    text-align: left;
    max-width: 54em;
    margin: auto; 
}

/* NOSCRIPT navigation links: */

.noscriptWrap {
    width: 99%;
    padding: 0.5em;
}
.noscriptLeft {
    width: 15%;
    float: left;
}
.noscriptCenter {
    width: 70%;
    float: right;
    text-align: center;
    padding-top: 0.5em;
    white-space: nowrap;
}
.noscriptRight {
    width: 14%;
    float: right;
    text-align: right;
}

/* WISK search: */

#treeForm {
    margin: auto;
    position: relative;
    top: -0.5em;
    left: 8.2em;
    text-align: left;
    width: 30em;
}
#treeForm A, #treeForm INPUT {
    font-family: "Times New Roman";
}
#treeForm INPUT {
    background-color: #dfd0b0;
    font-size: 90%;
    border: 3px outset #5C4033;
    margin: 0.1em;
    padding: 0.1em;
}
#treeForm INPUT {
    color: #5C4033;
}
#treePopup {
    position: absolute;
    top: 1.75em;
    left: -8em;
    width: 30em;
}
.popupWrap {
    border: 2px outset #5C4033;
    max-height: 15em;
}
.popupWrap, .popupWrap A {
    background-color: #5C4033;
}
.popupWrap A {
    font-size: 100%;
}