/* Notes to self:
 * margin, padding: give 1-4 values, in the order top, right, bottom, left.
 */
/*
body {
    background: #000;
    color: #19e;
    margin: auto;
    margin-left: 2%;
    margin-right: 2%;
    padding: 1%;
}
*/

a {
   color: #10f;
/*   color: #ee0000; */
}

a:visited {
/*    color: #70f; */
    color: #551a8b;
}

a:hover {
    /*color: #23a;*/
    color: #23a;
}

div {
    border: 1px solid #999;
 /* padding: 0.25em; */
    padding-left: 1.0em;
    padding-right: 1.0em;
    margin-left: 5%;
    margin-right: 5%;
    text-align: justify;
}


div.nav {
    border: 0px solid #999;
    padding: 0em;
    padding-top: 1%;
    padding-left: 1.5%;
    padding-right: 1.5%;
    margin-left: 0%;
    margin-right: 0%;
    text-align: left;
    color: rgb(0, 0, 0);
    background-color: rgb(121, 146, 111);
	position: absolute;
    top: 1%;
    right: 73%;
    left: 1%;
}

div.main {
	color: rgb(102, 51, 0); 
    text-align: justify;
    font-weight: bold;
    padding-left: 2%;
    padding-right: 2%;
    margin-left: 1%;
    margin-right: 0;
	position: absolute;
    top: 1%;
    right: 1%;
    left: 27%;
}

body.page {
    background-color: rgb(170, 181, 148);
	line-height: 1.2;
}

h1 { 
    font: 250%;
    margin-top: 0px;
    margin-bottom: 1.25em;
    border-bottom: 3px solid #666;
    color: rgb(153, 102, 51); 
    text-align: center;
    font-style: italic;
}

h2 { 
    font: 200%;
    margin-top: 2em;
    text-align: center;
    color: rgb(153, 10, 11); 
}

h3 { 
    font: 175% bold;
    margin-top: 1.25em;
    text-align: center;
}

h4 { 
    font: 175% bold;
    margin-top: 0.75em;
    margin-bottom: 0.75em;
}

p {
	color: rgb(102, 51, 0); 
    text-align: justify;
    font-weight: bold;
/*    line-height: 12pt; */
}

p.feature {
	text-align: justify;
}

ol {
    margin-top: 0in;
}

ul {
    margin-top: 0in;
    margin-bottom: 0in;
}

ul.spacedlist {
    /* FIXME!!! */
}

blockquote {
	font-style: italic;	
}

pre {
    font: monospace;
    border: #666 1px solid;
    padding: 0.25em;
    margin-left: 1em;
    margin-right: 2em;
    white-space: pre;
    background-color: #003;
    color: #19e;
}