body{ 
	background-color: #FFFFEE
	/* background-color: #DDDDDD */
}
h1 {
	color:#700000;
	font-family: arial, helvetica, sans-serif;
	font-size: 18pt;  
	text-align:left;
	padding-left: 100px;
}
h2{
	color:#700000;
	font-size: 14pt;
	padding-left: 30px;
	font-family: arial, helvetica, sans-serif;
}
h3{
	color:#700000;
	font-size: 12pt;
	font-family: arial, helvetica, sans-serif;
}
h4{
	color:#006633;
	font-size: 12pt;
	font-family: arial, helvetica, sans-serif;
	font-style:bold;
}

p{
	color:#006633;
	font-size: 12pt;
	font-family: arial, helvetica, sans-serif;
}
a:visited,a:link{
	color:#003366;
	font-size: 12pt;
	font-family: arial, helvetica, sans-serif;
}
img {
	border: 1px solid gray;	
}
hr{
 	color:#A52A2A;
}
CODE {
	font-style:normal;
	text-align:left;
	font-family:monospace;
	color:#000000;
	font-size:medium;
	padding-left: 10px;
}

/* Stuff for the menu \*/

.glossymenu, .glossymenu li ul{
list-style-type: none;
margin: 0;
padding: 0;
width: 140px; /*WIDTH OF MAIN MENU ITEMS*/
border: 1px solid gray;
}

.glossymenu li{
position: relative;
}

.glossymenu li ul{ /*SUB MENU STYLE*/
position: absolute;
width: 190px; /*WIDTH OF SUB MENU ITEMS*/
left: 0;
top: 0;
display: none;
filter:alpha(opacity=100);
-moz-opacity:1;
}

.glossymenu li a{
background: #DDDDDD;
font: bold 12px Verdana, Helvetica, sans-serif;
color: #006633;
display: block;
width: auto;
padding: 5px 0;
padding-left: 10px;
text-decoration: none;
}

.glossymenu .arrowdiv{
position: absolute;
right: 2px;
/* background: transparent url(arrow.gif) no-repeat center right; */
background: gray
}

.glossymenu li a:visited, .glossymenu li a:active{
color: #006633;
}

.glossymenu li a:hover{
/* background-image: url(glossyback2.gif); */
background: #EEEEEE
}

/* Holly Hack for IE \*/
* html .glossymenu li { float: left; height: 1%; }
* html .glossymenu li a { height: 1%; }
/* End */

/* stuff for hypertex */

.maketitle { align : center }
div.abstract { margin-left: 20%; margin-right: 10%; }
h3.abstract  { align : center }
div.verse, div.quote, div.quotation {
  margin-left : 10%; 
  margin-right : 10%;
}
dt {font-weight: bold}