body { 
    font-family: Palatino Linotype, Palatino, Georgia, Times New Roman, serif; 
}

td { 
    font-family: Palatino Linotype, Palatino, Georgia, Times New Roman, serif;  
}

h1 { 
    font-size: smaller;
    font-family: Arial, Helvetica, sans-serif; 
}

#menu {
    padding: 1em;
    height: 100em;
    background-color: #719AD1;
    font-size: smaller;
    font-family: Arial, Helvetica, sans-serif;
    border-width: 1px;
    border-color: black;
    border-style: solid; 
}

a.tocHot {
    color: black;
}

a.tocHot:visited {
    color: #333333;
}

.tocCold {
    color: black;
    font-weight: bold;
}

.allPlay {
    color: #660000;
}