body { max-width: 7in;
       margin-left: .2in;
     }
h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	font-variant: normal;
	text-transform: none;
	text-align: left;
}
h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	text-align: left;
	padding: 10px 0px 0px;

}
h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold;
}
booktitle {
	font-style: italic;
}
li {

	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
	font-style: normal;
	font-weight: normal;
	padding: 6px;
	margin: 6px;
}

ul.headings li { 

	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
	font-style: normal;
	font-weight: bold;
	padding: 6px;
	margin: 6px;
 }

ul p {

	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
	font-style: normal;
	font-weight: normal;
	padding: 6px;
	margin-left: 6px;
	margin-right: 6px;
	margin-top: -8px;
	margin-bottom: 6px;
}


#main ul ul li {

	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-style: normal;
	font-weight: normal;
	padding: 6px;
	margin: 6px;
}

#main ul ul p {

	font-family: "Times New Roman", Times, serif;
	font-size: 16px;
	font-style: normal;
	font-weight: normal;
	padding: 6px;
	margin: 6px;
}

#main ul p {

	font-family: "Times New Roman", Times, serif;
	font-size: 18px;
	font-style: normal;
	font-weight: normal;
	padding: 0px 6px 6px 6px;
	margin: 6px;
}


#main ul li {

	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-style: normal;
	font-weight: bold;
	padding: 6px;
	margin: 6px;
}

.code {
    font-family: Courier, monospace;
    font-size: 14px;
    font-weight: bold;
    font-style: normal;
}

table.simple {
    border-collapse: collapse;
    border-style: solid;
    border-width: 2px;
}

table.simple td,th {
    border-width: 2px;
    border-style: solid;
    padding: 5px;
}