body {
    font: small verdana, sans-serif; 
    padding: 5px;
    color: rgb(80,80,80);
    line-height: 1.5em;
    min-width: 300px;
}

a {
    color: rgb(50,50,150);
    font-weight: bold;
    text-decoration: none;
}

blockquote {
    font-style: italic;
}

div.no_style h1,
div.no_style h2,
div.no_style h3 {
    font-weight: bold;
    color: rgb(0,0,0);
    background: transparent;
    border: none;
    padding-left: 0;
    margin-left: 0;
}

div.no_style h1 {
    font-size: 160%;
}
div.no_style h2 {
    font-size: 140%;
}

div.no_style h3 {
    font-size: 120%;
}

dl {
    padding-left: 15px;
    margin: 25px 0 25px 0;
}

dt {
    font-weight: bold;
}

h1 {
   font-size: 110%; 
   color: rgb(50,50,200);
   margin-top: 0;
   background-color: rgb(230,230,230);
   border: 1px solid rgb(200,200,200);
   padding: 3px;
   clear: right;
}

h2 {
   font-size: 100%; 
   color: rgb(50,50,200);
   margin-top: 0px;
   border-bottom: 1px dashed rgb(50,50,200);
   padding: 0 0 3px 10px;
   clear: both;
}

h3 {
   font-size: 100%; 
   color: rgb(75,75,100);
   margin-top: 0px;
   padding: 0 0 3px 5px;
}

img {
    border: 0;
}

li {
    padding-bottom: 10px;
}

li.li_header {
    font-weight: bold;
    list-style-type: none;
}

p.code {
    border: 1px solid rgb(200,200,200);
    background-color: rgb(230,230,230);
    white-space: pre;
    padding: 0;
    margin: 0 0 10px 0;
}

span.new_code {
    color: rgb(0,0,150);
    font-weight: bold;
}

span.term {
    font-weight: bold;
}

/***************************/
/* navigation menu section */
/***************************/

body.home li.nav_home,
body.introduction li.nav_introduction,
body.content li.nav_content,
body.style li.nav_style,
body.functionality li.nav_functionality,
body.page1 li.nav_page1,
body.page2 li.nav_page2,
body.page3 li.nav_page3,
body.page4 li.nav_page4,
body.page5 li.nav_page5,
body.page6 li.nav_page6 {
    background-color: rgb(50,50,200);
}

body.home li.nav_home a,
body.introduction li.nav_introduction a,
body.content li.nav_content a,
body.style li.nav_style a,
body.functionality li.nav_functionality a,
body.page1 li.nav_page1 a,
body.page2 li.nav_page2 a,
body.page3 li.nav_page3 a,
body.page4 li.nav_page4 a,
body.page5 li.nav_page5 a,
body.page6 li.nav_page6 a {
    color: rgb(255,255,255);
}


ul#section_choices,
ul#page_choices {
    list-style: none;
    margin: 5px 0 5px 0;
    padding: 0 0 0 15px;
}

ul#section_choices {
    float: left;
}

ul#page_choices {
    float: right;
}

ul#section_choices li,
ul#page_choices li {
    font-size: 80%;
    float: left;
    padding: 0;
    margin: 0 3px 0 3px;
    border: 1px solid rgb(200,200,200);
}

ul#section_choices li.li_head,
ul#page_choices  li.li_head {
    border: none;
}

ul#section_choices li a,
ul#page_choices  li a {
    text-decoration: none;
    padding: 1px 6px 1px 6px;
}

ul#table_of_contents li {
    padding: 1px;
}

/***************************/
/***************************/

#preheader {
    font-size: 80%;
    float: right;
}

#header,
#footer {
    clear: both;
    border: 1px dashed rgb(50,50,200);
    background-color: rgb(230,230,230);
    color: rgb(50,50,200);
    padding: 5px;
}

#header {
    font-size: 130%;
    font-weight: bold;
}

#footer {
    text-align: right;
}

#content_container {
    min-height: 500px;
    margin-top: 20px;
    clear: both;
}

#navigation {
    float: left;
}

.booktitle {
    text-decoration: underline;
}

.sidenote1,
.sidenote2 {
    border: 1px solid rgb(200,200,200);
    background-color: rgb(190,255,190);
    padding: 5px 5px 10px 5px;
    width: 250px;
    font-size: 90%;
}

.sidenote1 {
    margin: 5px 5px 5px 10px;
    float: right;
}

.sidenote2 {
    margin: 5px 10px 5px 5px;
    float: left;
}

.tech {
    padding-top: 5px;
    border: 0;
}