div.link {margin-left: 50px; margin-right: 50px; margin-top: 5px; margin-bottom: 10px; 
font-size: 0.9em; text-align: center}
div.body {margin-left: 50px; margin-right: 50px; margin-top: 5px; margin-bottom: 10px; 
line-height: 130%; }
pre {margin: 10px 50px; line-height: 130%; text-align: left; white-space: pre; 
font-size: 0.9em }
h1 { 		
		text-align: center;
		background-image: url(./05.gif);
		font-size: 2.0em
}
h2 { 
		font-size: 1.5em; 
		background-color: #fc0
}
h3 { 
		border-color: #fc0;
		border-bottom-width: thin; border-bottom-style: solid;
		border-left-width: thick; border-left-style: solid;
}