body    { background-repeat: repeat-y; background-image: url(../images/background1.gif); }
a       { padding: 3px 8px 3px 8px; }
a:hover { background-color: #0000ff; color:#ffffff;}
b       { background:#000088; }
i       { background:#008800; }
h2      { background:#000022; color:#ddddff; padding:3; font-size: 20px; line-height: 24px;
                   text-align: center; font-family: 'Verdana', 'Geneva', 'Arial', 'sans-serif'; }
pre.info  { font-size: 10px; line-height: 12px; font-family: 'Verdana', 'Geneva', 'Arial', 'sans-serif'; }
pre.code  { background:#004400; font-size: 10px; line-height: 12px; font-family: 'Verdana', 'Geneva', 'Arial', 'sans-serif'; }
table.smalltable {font-size: 10px;line-height:12px; font-family:'Verdana','Geneva','Arial','sans-serif';}
table.calendar {font-size: 10px;line-height:11px; font-family:'Verdana','Geneva','Arial','sans-serif';}
table.menu { font-size: 12px;line-height:16px; font-family:'Verdana','Geneva','Arial','sans-serif';}
table.menu1 { background-repeat: repeat-y; background-image: url(images/background2.gif);
             font-size: 12px;line-height:16px; font-family:'Verdana','Geneva','Arial','sans-serif';}
table.explain { font-size: 10px; line-height: 12px; font-family: 'Verdana', 'Geneva', 'Arial', 'sans-serif'; }
span.formula { background:#ffffaa; color:#000000; padding:0; }