body    {background-color:    #f0f8ff;
         color: #111111;
         font-family: serif;
         line-height: 125%;}

div.header  {text-align: center;
			 font-size: 120%;
			 /*font-family: Zapf-Chancery, cursive;*/
			 font-variant: small-caps;
             color: #708090;
             background: inherit;
             border-bottom: thin groove #778899}

div.nav1    {float: left;
             width: 180px;
             position: fixed;
             top: auto;
             left: 0;
             margin-left: 0;
             padding-left: 0;
             padding-top: .5%;
             padding-right: .5em;
             border-right: thin dotted #778899;
             font-size: 90%}
             
div.main    {padding-right: 2.5%;
             margin-left: 190px;
             width: 70%;}
             
p           {color: inherit;
             font-family: inherit;
             font-size: 100%;
             line-height: 120%;
             text-indent: .5cm}

p.tag	{font-size: 80%;
		 /*left: 50%;*/
		 text-indent: 0;
		 padding: 0;
		 margin: 0;
		 /*display: inline;*/}

span.highlight {border-left: thin dotted #778899;
			    border-bottom: thin dotted #778899;}
             
div.lside {float: left;
		   width: 75%;}

div.rside {/*float: right;*/
		   left: 80%
		   width: auto;}
             
dl {padding: 0;
	margin: 0;}

dt {padding: .5em;
	margin: 0;}

dt.heading1 {font-variant: small-caps;
			 font-weight: bold;
			 font-size: 110%;
			 text-indent: 0;
			 margin: 0;}

dt.subhead {font-weight: bold;
			text-indent: 0;
			margin: 0;}

ul.nav {list-style-type: none;
		text-indent: 0;
		line-height: 160%;
		margin: 0;
		padding-left: 1em;}

ul li {	position: relative;
		list-style-type: none;}
		
li ul { display: none;}

ul.points {padding: .25em;
		   margin: 0;}

span ul.points-popup { display: none;}

ul.points-popup {padding: .5em;
				 margin: 0;}

span:hover > ul { display: block;
				position: absolute;
				/*top: 0;*/
				/*margin-top: -2.5em;*/
				left: 70%;
				height: auto;
				width: auto;
				background-color: #ffffff;
				border: thin dotted #778899;
				z-index: 2;}
				
a:link      {color: #2f4f4f;
             background-color: inherit;}
a.link:hover     {color: #2f4f4f;
             background-color: #e2d0ff;
             border-bottom: thin dotted #778899;
             border-right: thin dotted #778899;}
a:visited   {color: #556b2f;}