a.menu {text-decoration: none}

p.menu {BORDER-RIGHT: #666666 0px solid;
    	PADDING-RIGHT: 0px;
    	BORDER-TOP: #aaaaaa 0px solid;
    	PADDING-LEFT: 0px;
    	BACKGROUND: #0090ff;
    	PADDING-BOTTOM: 0px;
    	FONT: bold small-caps 16px verdana, sans-serif;
    	MARGIN-LEFT: 0px;
    	BORDER-LEFT: #aaaaaa 0px solid;
    	WIDTH: 170px;
    	PADDING-TOP: 0px;
    	BORDER-BOTTOM: #666666 0px solid
}

p.menu a:link{COLOR:#0000aa}
p.menu a:visited{COLOR:#0000aa}

p.menufade1 {background: #20a0ff}
p.menufade2 {background: #70c0ff}
p.menufade3 {background: #c0e0ff}
p.menufade4 {background: #ffffff}

td.title {color: #ffffff;
          background: #002090;}

p.title {font-size: 150%;
        font-family: sans-serif;
        text-align: center;}

p.subtitle {font-size: 100%;
        font-family: sans-serif;
        text-align: center;}


p.section{font-size: 120%;
        font-family: sans-serif;
        text-align: left;}

p.normal{font-size: 100%;
        font-family: sans-serif;
        text-align: left;}

p.diagram{font-size: 100%;
        font-family: sans-serif;
        text-align: center;}