h1 {
	font-size: x-large;
	font-weight: bold;
}
h2 {
	font-size: large;
	font-weight: bold;
}
h3 {
	font-size: medium;
	font-weight: bold;
}
dd {
	margin-bottom: .3em;
}
dt {
	margin-top: 1em;
}
li {
	margin-bottom: .5em;
}
.indent {
	margin-right: 2em;
	margin-left: 3em;
}
.ex {
	font-family: "Courier New", Courier, monospace;
	font-size: large;
	font-weight: normal;
}
.gsamp {
	font-family: Monaco, "Courier New", Courier, monospace;
	font-size: smaller;
	font-wegith: normal;
}
.page-date {
	font-size: small;
	font-weight: bold;
	text-align: right;
}
.text {
	margin-left: 3em;
	margin-right: 3em;
}
p {
	line-height: 1em;
}
.right-note {
	margin-right: 2em;
	margin-left: 20em;
	font-size: small;
	text-align: right;
	margin-top: 1px;
}