body {
  font-size: 110%; line-height: 120%; 
}

h1 a 		{color: #404040;}
h1 a:hover	{color: #404040;}

a 	{text-decoration: none;}
a:hover	{text-decoration: underline;}
a.menu:link, a.menu:visited{
	color: #FFFFFF;
	font-family: georgia, arial; font-size: small; font-weight: bold; 
	text-align: center; text-decoration: none;
	}
a.menu:hover	{color: #FFFFFF; font-weight: bold; text-decoration: underline;}


p {
  font-weight: normal; font-family: verdana, sans-serif;
  color: #404040;
  text-indent: 20pt;
}

p:first-letter {
  font-size: 115%;
  font-weight: bolder;
}

p.monotype, p.code {
  font-family: courier new; courier;
  text-indent: 0pt;
  margin-left: 10pt;
}

p.code:first-letter {
  font-size: 110%;
  font-weight: normal;
}
