.title_head { font-style: italic; font-size: 90%; font-family: Arial }
h1 {
	font-family: "Trebuchet MS";
	font-size: 150%;
	border-bottom-style: solid;
	border-bottom-width: 2px;
}
h2 {
	font-family: "Trebuchet MS";
	font-size: 125%;
}
h3 {
	font-family: "Trebuchet MS";
	font-size: 90%;
}
code {
	color: #0000FF;
	font-size: 80%;
}
.path { color: blue; font-size: 90%; font-family: "Courier New" }
dt { font-family: "Trebuchet MS"; font-weight: bold }
.copyright {
	font-family: Arial, Helvetica, sans-serif;
	font-size: x-small;
}
.ref {
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bold;
}
.def {
	padding-left: 25px;
}
.screen {
	font-family: "Courier New", Courier, monospace;
	font-size: 90%;
	background-color: #CCCCCC;
	color: #0000FF;
	font-weight: bold;
}
.dept {
	font-family: Arial, Helvetica, sans-serif;
	font-style: italic;
	font-weight: bold;
}