<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">pre {
	border-width: 1px; border-style: solid; padding: 0.5em; margin-right: 2em; margin-left: 2em; background-color: rgb(204, 204, 204);
}
.oct {
	border-style: dashed; background-color: rgb(255, 204, 204);
}
.func {
	border-style: groove; margin-right: 1em; background-color: rgb(204, 255, 204);
}
.math {
	font-style: italic; background-color: rgb(255, 204, 255);
}
h1 {
	text-align: center; color: white; background-color: rgb(153, 0, 153);
}
h2 {
	border-width: 0px 0px 2px 25px; border-style: solid; border-color: rgb(153, 0, 153); padding-left: 6px; font-weight: bold; margin-top: 30px; margin-right: 3%; margin-left: 2%;
}
h3 {
	border-width: 0px 0px 2px 12px; border-style: solid; border-color: rgb(122, 204, 204); padding-left: 5px; font-size: 1.2em; margin-right: 6%; margin-left: 4%;
}
h4 {
	margin-left: 5%;
}
p {
	text-indent: 1em; margin-left: 5%;
}
ol {
	line-height: 1.4em;
}
ul {
	line-height: 1.4em;
}
address {
	text-align: right;
}
.alpha {
	list-style-type: lower-latin;
}
.lgreek {
	list-style-type: lower-greek;
}
.center {
	text-align: center;
}
.red {
	color: red;
}
.blue {
	color: blue;
}
.green {
	color: rgb(102, 255, 0);
}
.aquablue {
	color: rgb(0, 255, 255);
}
</pre></body></html>