body
{
    font-family: Arial;
    font-size: 10pt;
    background-color: #E6EEF7;
    padding: 0px;
}

/* Defines styles */
.body
{
    background-color: #E6EEF7;
    margin-left: 190px;
    margin-top: 0px;
    width:900px;
    padding:10px;
}

.navigation
{
    background-color: #E6EEF7;
    margin-left: 0px;
    margin-top: 0px;
    width: 170px;
    border-right: 2px solid #d7d7d7;
    padding:10px;
    float: left;
}

.menuitem
{
    text-indent:1em;
    font-family: Verdana, Microsoft Sans Serif, Arial, Helv;
    font-size: 10pt;
    font-weight: bold;
    background: url(../images/menu-headbg.gif) no-repeat;
    margin-bottom: 0px;
    display: block;
    height: 20px;
    line-height: 20px;
    color: #063461;
}

.submenuitem
{
    text-indent:1em;
    margin-top: 0px;
    margin-bottom: 0px;
    background: url(../images/menu-bg.gif) no-repeat;
    font-family: Verdana, Microsoft Sans Serif, Arial, Helv;
    font-size: 10pt;
}

.submenuitem a
{
    margin-top: 0px;
    margin-bottom: 0px;
    background: url(../images/menu-bg.gif) no-repeat;
    text-decoration: none;
    display: block;
    height: 20px;
    line-height: 20px;
    color: #063461;
}

.submenuitem a:hover
{
    background: url(../images/menu-bg-hover.gif) no-repeat;
    text-decoration: none;
}

.title
{
    font-family: Bookman Old Style, Arial, Helv, sans-serif;
    font-size: 24pt;
    font-weight:bold;
    text-align: left;
    text-indent: 0;
    margin-left: 0;
    margin-top:0;
    margin-bottom:0
}

.subtitle
{
    border-bottom: 2px solid #d7d7d7;
    font-family: Arial, Helv, sans-serif;
    font-size: 16pt;
    font-weight: bold;
    text-align: left;
    text-indent: 0;
    padding-bottom: 10px;
    margin-left: 0;
    margin-top: 0;
    margin-bottom: 20px;
}

.overview
{
    font-family: Arial, Helv, sans-serif;
    font-size: 10pt;
    font-weight:bold;
    margin-top:0;
    margin-bottom:0
}

.prev-chapter
{
    width: 50%;
    float:left;
    text-indent:0;
    text-align:left;
    padding-bottom: 20px;
}

.next-chapter
{
    width: 50%;
    float:right;
    text-indent:0;
    text-align:right;
    padding-bottom: 20px;
}

.article-link
{
    font-weight:bold;
    margin-top: 2px;
    margin-bottom: 2px;
}

.article-link a
{
    font-weight:normal;
}

.link-list-entry
{
    font-weight:normal;
    text-indent: 0;
    text-align: justify;
    margin-top: 0;
    margin-bottom: 20px;
}

.link-list-entry a
{
    font-weight:bold;
    display:block;
    margin-bottom: 5px;
}

.download
{
    border: 4px solid white;
    padding: 10px;
    margin: 10px 0;
}

.download-entry
{
    text-indent: 0;
    margin-top: 0;
    margin-bottom: 4px;
}

.download-entry a
{
    font-weight: bold;
}

.source
{
    font-family: Courier, monospace;
    font-size: 10pt;
    margin-top:0;
    margin-bottom: 0;
}

.image-and-text
{
    font-family: Arial, Helv, sans-serif;
    font-size: 8pt;
    font-weight:normal;
    text-align: center;
    text-indent: 0;
    margin-top: 0px;
    margin-bottom: 10px;
}

.image-and-text a
{
    font-weight:bold;
    display:block;
}

.image-left
{
    float:left;
    padding-right: 10px;
    border:none;
}

.image-right
{
    float:right;
    padding-left: 10px;
    border:none;
}

.thinframe
{
    text-align:center;
    border: 1px solid black;
    padding: 5px;
    margin: 5px;
}

.thickframe
{
    text-align:center;
    border: 3px solid black;
    padding: 5px;
    margin: 5px;
}

.table_no_spaces
{
    margin-top:0px;
    margin-bottom:0px;
}

.copyright
{
    font-family: Arial, Helv, sans-serif;
    font-size: 8pt;
    font-weight:normal;
    text-align: left;
    margin-top:20px;
    margin-bottom:20px;
}

.table-h2
{
    color:#000080;
    font-family:Arial;
    font-size:12pt;
    font-weight:bold;
    margin-top:0pt;
    margin-bottom:12pt;
}

/* HTML styles */
h1
{
    color:#800000;
    font-family:Arial;
    font-size:16pt;
    font-weight:bold
    margin-left: 0;
    margin-top:0;
    margin-bottom: 10px;
}

h2
{
    color:#000080;
    font-family:Arial;
    font-size:12pt;
    font-weight:bold;
    margin-top:12pt;
}

h3
{
    color:#000000;
    font-family:Arial;
    font-size:10pt;
    font-weight:bold;
    margin-top:0;
    margin-bottom:0;
}

table
{
    font-family:Arial;
    font-size:10pt;
    text-indent:0;
    margin-top:6px;
    margin-left:0;
    margin-right:0;
    margin-bottom:6px;
}

p
{
    text-indent:0em;
    text-align:justify;
}


pre
{
    font-size:10pt;
    background-color: #DCDCDC;
}

dt
{
    font-style:italic;
    margin-top:4px;
    margin-bottom:0;
}

dd
{
    margin-top:4px;
    margin-bottom:4px;
}

li
{
    text-align:justify;
}