/* incava.org style sheet. */

/* colors based on split-complimentary, from 54/234. */

/*
root colors:

    fff5e5: code background
    eff1f4: pre background
 */

body {
    font-style: normal;
    font-size: .9em; 
    font-family: sans-serif, Lucida, Verdana, Arial, Sans-Serif, Courier; 
    font-weight: normal;
    margin: 0px;
    color: #000000;
    background: #000533;
    /* background: #7f0200 url(images/bg.png) repeat-x; */
}

div#outer {
    color: #000000;
    margin-left: auto;
    margin-right: auto; 
    max-width: 80%; 
    padding: 0em; 
}

img {
    border: 0px;
}

code, code.block, pre, pre.code { 
    font-family: monospace, 'Courier New', Courier, Lucida;
}

code.block, pre.code {
    display: block;
    padding: 0.5em;
    white-space: pre;
    margin: 0em 0em 0em 3.5em;
    z-index: 3;
}

a:link, a:visited {
    color: #000399;
}

a:hover {
    text-decoration: none;
    background: #eeeeee;
    color: #0c0f7f;
}

a.home {
    font-size: 20pt;
    font-weight: bold;
    text-align: right;
    vertical-align: bottom;
    padding: 10px;
    width: 10px;
    border: 0px;
    background: transparent;
    text-decoration: none;
}

a.home:hover, a.nav0, a.nav1, a.nav2, a.nav3, a.nav4 {
    background: transparent;
    text-decoration: none;
}

a.nav0, a.nav1, a.nav2, a.nav3, a.nav4 {
    display: block;
}

a.nav0cur, a.nav1cur, a.nav2cur, a.nav3cur, a.nav4cur {
    display: block;
    text-decoration: none;
}

a.nav0:hover, 
a.nav0cur:hover, 
a.nav1:hover, 
a.nav1cur:hover, 
a.nav2:hover, 
a.nav2cur:hover, 
a.nav3:hover, 
a.nav3cur:hover,
a.nav4:hover, 
a.nav4cur:hover {
    display: block;
    text-decoration: none;
}

a.title {
    text-decoration: none;
}

tagline.a {
    text-decoration: none;
}

tagline a:hover { 
    background-color: #000533;
    font-style: normal;
}

td.search {
    font-size: 75%;
    background-color: white;
    color: #000533;
    text-align: right;
    vertical-align: top;
}

td.description { 
    background-color: #FFFFFF;
    text-align: left;
    color: #000000;
    width: 100%;
    height: 700px;
    vertical-align: top;
    padding: 0.5em;
}

td table { 
    border: 0.5px solid;
    padding: 0.5em;
    margin: 0em 0em 0em 3.5em;
}

td.leftbar {
    width: 120px;
    vertical-align: top;
    text-align: left;
    border-style: solid;
    padding: 2px;
    border-width: 0px 1px 0px 0px;
}

td.leftcol {
    width: 25%;
}

div#main, div#top {
    width: 100%;
    vertical-align: top;
    text-align: left;
    padding: 2px;
    border-style: solid;
    border-width: 1px 1px 1px 1px;
}

h1, h2, h3, h4 {
    font-weight: bold;
    border-width: 1px 2px 2px 1px;
}

h1, h2, h3 {
    border-style: solid;
}

h1 { 
    font-size: 1.1em;
    margin-left: 0em;
    margin-right: 1px;
    padding: 3px 3px 3px 10px;
    text-align: left;
}

h2 {
    font-size: 1.0em;
    margin-bottom: 1em;
    margin-left: 1em;
    margin-right: 1px;
    margin-top: 1em;
    padding: 2px 2px 2px 7px;
}

h3, h3.example {
    font-size: 0.9em;
    margin-left: 2em;
    margin-right: 1px;
    padding: 5px 0em 5px 1em;
}

h4, h4.example {
    border-style: dotted;
    font-size: 0.8em;
    margin-left: 3em;
    margin-right: 1px;
    padding: 5px 0em 5px 1em;
    white-space: pre;
}

h2 a {
    font-weight: bold;
    background-color: transparent;
}

table.content {
    background-color: #FFFFFF;
    color: #000000;
    text-align: left; 
    font-weight: normal;
    border-width: 0px;
    border-spacing: 0px;
}

p {
    margin-top: 0.5em;
    margin-bottom: 0.8em;
    margin-left: 2em;
    margin-right: 1em;
}

span.filename {
    font-weight: bold;
}

span.match {
    font-style: normal;
}

ul {
    margin-left: 4em;
    list-style-type: square;
}

ul ul {
    margin-left: 2em;
    list-style-type: disc;
}

ul.features {
    margin-left: 4em;
    list-style-type: square;
}

ul.taglist {
    font-family: Courier, monospace;
    margin-left: 3em;
    list-style-type: none;
}

font.keyword {
    color: #3f587f;
}

font.comment {
    color: #7f6b4c;
}

#coloryze-input {
    margin: 1em;
    width: 100%;
    border: none;
}

/* just color stuff henceforth */

/* phraze: 747293 */
/* incava: 462282 */
/* days  : 021026 */

h1, h2, h3, h4 {
    background-color: #e5e3ce;
}

a.home,
a.home:hover
td.search {
    color: #000533;
}

a.nav0, 
a.nav1, 
a.nav2, 
a.nav3, 
a.nav4,
h1,
h2,
h3, 
h3.example,
h4, 
h4.example,
h2 a:link, 
h2 a:visited, 
h2 a:hover {
    color: #000533;
}

h2 a {
    text-decoration: none;
}

a.nav0:hover, 
a.nav0cur:hover, 
a.nav1:hover, 
a.nav1cur:hover, 
a.nav2:hover, 
a.nav2cur:hover, 
a.nav3:hover, 
a.nav3cur:hover,
a.nav4:hover, 
a.nav4cur:hover
{
    background: #ccb700;
    color: #000533;
    font-weight: bold;
}

div#top, 
h1, 
h2, 
h3,
h3.example,
h4,
h4.example,
td.leftbar,
table.top,
div#main {
    border-color: #000533;
}

code, code.block, pre, pre.code {
    background-color: #edeef7;
    color: #000533;
}

td.leftbar,
div#top, 
div#main,
td.rightbar
{
    background-color: #FFFFFF;
}

span.filename {
    background-color: #000533;
    color: #87996b;
}

span.match {
    background-color: #87996b;
}

li.nested {
    list-style: none;
}

div.example {
    text-align: center;
}

div.menu {
}

ul.menu {
    border-style: solid;
    border-width: 1px 2px 2px 1px;
    background: #e5e3ce;
    margin: 10px; 
    padding: 5px; 
    font-size: .95em; 
    /* top right bottom left */
    width: 140px;
}

li.menu0 {
    font-weight: bold; 
}

li.menu0, li.menu1, li.menu2, li.menu3 {
    list-style-type: none; 
}

li.menu0 {
    margin: 0px 0px 0px 0em;
    border-style: dashed;
    border-width: 0px 0px 0px 0px;
    border-color: gray;
}

li.menu1 {
    margin: 0px 0px 0px 1em; 
    margin-background: magenta;
}

li.menu2 {
    margin: 0px 0px 0px 2em; 
}

li.menu3 {
    margin: 0px 0px 0px 3em; 
}

a.nav0cur, 
a.nav1cur, 
a.nav2cur, 
a.nav3cur, 
a.nav4cur {
    border-color: #000533;
    border-style: dotted;
    border-width: 0px;
    background-color: #c9cdea;
    color: #000533;
    /* color: #e5da72; */
    font-weight: normal;
}

a.nav0cur {
    font-weight: bold;
}

a.nav1cur, 
a.nav2cur, 
a.nav3cur, 
a.nav4cur {
    font-weight: normal;
}