/* Let no border around the body appear, and set
   it to display on a white background */
body, html {
    margin: 10px;
    padding: 0px;
    background-color: white;
}

/* Font settings for page elements */
body, ul, td, th, p, small, .small,
.tableTitle, .tableExtras, input, textarea, select {
    color: black;
}

div {
    margin-bottom: 1em;
}

div.chapter div.titlepage h2 {
    font-size: 150%;
    font-weight: bold;
    color: #333333;
}

div.toc p {
    font-size: 120%;
    font-weight: bold;
}

div.toc a {
   font-size: 90%;

}

div.navheader th {
}


div.section p { 
    margin-top: 0px;
}

code, pre, tt {
}

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
    margin-bottom: 0.4em;
}

h1 {
    font-size: 150%;
}

h2 { 
    font-size: 140%;
}

h3 { 
    font-size: 130%;
}

h4 { 
    font-size: 120%;
}

h5 { 
    font-size: 110%;
    font-weight: normal;
    font-style: italic;
}

img, div, p {
    margin-bottom: 1em;
}