#verticalMenu {
    clear:both;
}

/* rootLink Menu */
.rootLink {
    list-style-type:none; margin:0; padding:0; border-color:black; border-left-width:1px; border-right-width:1px; border-top-width:1px; border-bottom-width:0px; border-style:solid;
}
.rootLink li a, .rootLink li a:visited {
    width:196px; display:block; color:#0c0c0c; background-color:#7C92D4; padding:2px; margin:0; text-align:left; font-size:9pt; text-decoration:none; font-weight:bold;
}
.rootLink li a:hover {
    background-color:#7C92D4; text-decoration:none; color:white;
}

/* homeLink Menu */
ul.homeLink {
    margin-bottom:10px;
}
.homeLink {
    list-style-type:none; margin:0; padding:0; border-color:black; border-left-width:1px; border-right-width:1px; border-top-width:1px; border-bottom-width:1px; border-style:solid;
}
.homeLink li a, .homeLink li a:visited {
    width:196px; display:block; color:#0c0c0c; background-color:#d2ddff; padding:2px; margin:0; text-align:left; font-size:9pt; text-decoration:none; font-weight:bold;
}
.homeLink li a:hover {
    background-color:#7C92D4; color:white; text-decoration:none;
}

/* Chapter Menu */
.chapterLink {
    list-style-type:none; margin:0; padding:0; list-style:none; border-color:black; border-width:1px; border-top-width:0px; border-style:solid;
}
.chapterLink li a, .chapterLink li a:visited, chapterLink-active {
    width:196px; display:block; color:#0c0c0c; background-color:#f0f0f0; padding:2px; border:0px; border-top-width:1px; border-color:black; border-style:solid; margin:0; text-align:left; font-size:9pt; text-decoration:none; font-weight:bold;
}
.chapterLink li a:hover {
    color:white; background-color:#7C92D4; text-decoration:none;
}

/* Section Link within Chapters */
ol.sectionLink {
   margin-top:0; padding-left:2px; border-color:black; border-width:0px;
}
.sectionLink {
    list-style-type:none; margin:0; padding:0; border-style:none;
}
.sectionLink li a, .sectionLink li span, .sectionLink li a:visited {
    width:192px; display:block; color:#0c0c0c; background-color:white; padding:2px; border-style:none; margin:0; text-align:left; font-size:9pt; text-decoration:none; font-weight:normal;
}
.sectionLink li a:hover {
    background-color:#7C92D4; color:white; text-decoration:none;
}

/* Single Section Link with closed border on the bottom */
ol.sectionLinkClosed {
    margin-top:0; padding-left:2px; border-color:black; border-left-width:1px; border-right-width:1px; border-top-width:1px; border-bottom-width:1px; border-style:solid;
}
.sectionLinkClosed {
    list-style-type:none; margin:0; padding:0; border-style:none;
}
.sectionLinkClosed li a, .sectionLinkClosed li span, .sectionLinkClosed li a:visited {
    width:194px; display:block; color:#0c0c0c; background-color:white; padding:2px; border-style:none; margin:0; text-align:left; font-size:9pt; text-decoration:none; font-weight:normal;
}
.sectionLinkClosed li a:hover {
    background-color:#7C92D4; color:white; text-decoration:none;
}


/* Specific Table Layouts */
.programlisting {
     width:90%; background-color:#f0f0f0; border-width:0px;
}

/* Styles for Java Source Listings */
font.java0 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#ff6100;
}
font.java1 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java2 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#7f0055;
}
font.java3 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f7f5f;
}
font.java4 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#7f0055;
}
font.java5 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#2a00ff;
}
font.java6 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f7f5f;
}
font.java7 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#990000;
}
font.java8 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java9 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java10 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#000000;
}
font.java11 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}
font.java12 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}
font.java13 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#888888;
}
font.java14 {
    font-family: Courier New,monospace,Serif; font-size: 9pt; color:#3f5fbf;
}