body 
{
	font-family: verdana, "times new roman", tahoma, lucida, sans-serif;
	background-color: white;
	color: black;
	#padding: 10px 10px 10px 10px;

	font-size: 90%; 
	padding-left: 10px;
	padding-right: 10px;
	line-height: 1.3;
	text-align: justify;
}

#a:link { color: #F89E59;}
#a:visited { color: #F89E59;}
#a:hover { color:#000000;}

h1,h2,h3,h4,h5 
{
	font-family: tahoma, "times new roman", verdana;
	border-bottom: 1px solid #779098;
}
h1 { font-size: 120%; }
h2 { font-size: 115%; padding-left: 5px; }
h3 { font-size: 110%; padding-left: 10px; }
h4 { font-size: 105%; padding-left: 15px; }
h5 { font-size: 100%; padding-left: 20px; }

.header 
{
	font-family: verdana, tahoma;
	font-size: 120%;
	font-weight: bold;
	#padding-right: 20px;
	text-decoration: none;
	border-bottom: 1px solid black;
}

.footer 
{
	font-family: "times new roman", tahoma;
	font-size: 14px;
	#padding-right: 20px;
	text-decoration: none;
	text-align: right;
	border-top: 1px solid black;
}

.contents
{
	font-family: "times new roman", tahoma;
	font-size: 95%; 
}

.maintext
{
	font-size: 90%; 
	#color: #555555;
	color: black;
	padding-left: 20px;
	padding-right: 20px;
	line-height: 1.3;
	text-align: justify;
}

pre.code 
{
	font-family: "Lucida TypeWriter", monotype, lucida, fixed;
	font-size: 80%;
	padding: 6px 6px 6px 6px;
	xbackground-color: #000000;
	xcolor: #FFD700; 
	#border: 1px dashed #779098;
	#border: 1px solid #779098;
	border: none;
	background-color: yellow;
}

.linenum
{
	font-weight: bold;
}