body {
	color: #707070;
	background-color: white;
}

code	{ color: darkred; }
img	{ border-width: 0; }

.head {
	font-size: 20pt;
	font-family: ΌΠ·’Ει,sans-serif;
	font-weight: bolder;
	color: red;
	text-align: center;
}

.subhead {
	font-size: 10pt;
	font-family: sans-serif;
	color: blue;
	text-align: center;
}

.links {
	margin-left: 1em;
	list-style: square;
}

.topic {
	font-size: 12pt;
	font-family: fantasic;
	color: #317c5b;
}

.dynamic {
	list-style: square;
}

.abstract {
	color: darkred;
	font-size: smaller;
	font-family: Arial, sans-serif;
}

.summary {
	color: blue;
	background-color: lightblue;
	font-size: smaller;
	font-family: Arial, sans-serif;
}

.command {
	color: blue;
	font-weight: bold;
}