/* sh colors */
    .shOrange       { color: #AA0000; }
    .shBlack        { color: #333333; }
    .shDarkGray     { color: #5F5F5F; }
    .shLightGray    { color: #DDDDDD; }
    .shWhite        { color: #EEEEEE; }
    
    /* general colors and fonts*/
    body {
	    font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        background: #EEEEEE; 
    }
    body.nav {
	    font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #5F5F5F; 
        margin-top: 10px;
        margin-bottom: 10px;
        background-image: url(images/bg-gray.gif);
    }
    table { 
        background-color: #EEEEEE; border-color: #AA0000;
	    font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px; line-height:150%; 
    }
    table.graybg { 
        background-color: #DDDDDD;
    }
    td { vertical-align:top; border-color:#AA0000; padding: 3px;}
    th { vertical-align:top; border-color:#AA0000; text-align:left; padding: 3px;}
    /* Headings */
    h1 { color: #5F5F5F; font-size: 14px; margin-bottom:5px; }
    h2 { color: #5F5F5F; font-size: 13px; margin-bottom:5px; }
    h3 { color: #5F5F5F; font-size: 12px; margin-bottom:5px; }
    h4 { color: #5F5F5F; font-size: 11px; margin-bottom:5px; }
    /* Horizontal rule */
    hr { color: #AA0000; height:1px; }
    /* text format for source code/files etc. */
    pre  { font-family: monospace; font-size: 11px; margin-bottom:2px; margin-top:2px; }    
    /* Lists */
    ol { margin-top:2px; }
    ul { margin-top:2px; }
    li { margin-bottom:2px; }
    .liCircle { list-style-type:circle; margin-left:15px; }
    .liDisc   { list-style-type:disc; margin-left:45px; }
    .liNone   { list-style-type:none; margin-left:0px; }
    .liSquare { list-style-type:square; margin-left:30px; }
   /* Links */
    a:link {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #AA0000;
        text-decoration: none;
    }
    a:visited {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #AA0000;
        text-decoration: none;
    }
    a:hover {
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : underline;
    }
    a:active {
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : none;
    }    
    /* style definition for the menu area */
    td.menu {
        margin: 0px;
        background-color: #DDDDDD;
        vertical-align:bottom;
        padding-top: 0px;
        padding-left: 20px;
        padding-right: 0px;
        padding-bottom: 10px;
    }
    a.menuhead {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        font-weight: bold;
        color : #333333;
        margin-left : 10px;
        margin-right : 5px;
        margin-bottom : 5px;
    }    
    a.menu:link {
        background-color: #DDDDDD;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #333333;
        text-decoration: none;
    }
    a.menu:visited {
        background-color: #DDDDDD;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #333333;
        text-decoration: none;
    }
    a.menu:hover {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : none;
    }
    a.menu:active {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : none;
    }
    /* style definition for a highlighted menu entry in the menu area */
    a.menuhigh {
        background-color: #DDDDDD;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #AA0000;
        text-decoration: none;
    }
    a.menuhigh:link {
        background-color: #DDDDDD;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-size: 11px;
        color: #AA0000;
        text-decoration: none;
    }
    a.menuhigh:visited {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration :none;
    }
    a.menuhigh:hover {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : none;
    }
    a.menuhigh:active {
        background-color : #DDDDDD;
        font-family : Verdana, Arial, Helvetica, sans-serif;
        font-size : 11px;
        color : #AA0000;
        text-decoration : none;
    }
    /* style definition for the content area */
    td.content {
	    padding-top:    50px;
        padding-left:   70px;
        padding-right:  70px;
	    padding-bottom: 50px;
    }    
    /* style definition for the picture area */
    td.picture {
        margin: 0px;
        background-color: #DDDDDD;
        padding-top: 0px;
        padding-left: 0px;
        padding-right: 0px;
        padding-bottom: 0px;
    }
    /* to get rid of the annoying additonal space around images */
    td.picture img { display: block; }
    
    td.picinfo { vertical-align:bottom; padding-left: 50px;}

    td.pageno { text-align:right; }
    
    table.toc { 
        font-size: 12px;
     }