li.menu      { font-family: Times New Roman; font-size: 14pt; color: #FFFFFF }
dt.top       { font-family: Times New Roman; font-size: 14pt; font-weight: bold }
a.menu       { color: #FFFFFF }
p.dis        { font-family: Times New Roman; font-size: 8pt; color: #000080; font-style: 
               italic }