.menustyle {
font-family: "Arial";
font-weight: 500;
background-color: #ffeeff;
background-repeat: no-repeat;
vertical-align: text-top;
text-align: right;
           }

.defstyle {
font-family: "Times", serif;
}

.classtyle {
font-family: "Arial";
font-weight: 500;
background-repeat: no-repeat;
vertical-align: text-top;
           }


a {color: #663366}
a:visited {color: #333366}
a:hover {color: #666699}