.box {
	margin: 0.3em;
	border: double 8px;
	padding: 0.2em;
	background-color: #ddc;
}
.error {
	color: red;
	font-weight: bold;
	background-color: yellow;
}
.highlight {
	background-color: #fc0;
	font-weight: bold;
	padding: 1px 3px;
}
.na {
	color: gray;
	background-color: silver;
	font-size: 85%;
}
a {
	text-decoration: underline;
	color: navy;
}
a:hover,a:active,a:focus {
	color: red;
	text-decoration: overline underline;
}
body {
	background-color: #fda;
	color: #700;
	padding-left: 0.6em;
	padding-right: 0.6em;
}
dt {
	font-weight: bold;
}
h1,h2 {
	text-align: center;
	color: #b00;
}
h3,h4 {
	text-align: left;
	color: #b00;
}
img	{
	margin: 1px;
	border: solid black 1px;
}
td {
	border: solid #ca4 1px;
	padding: 0.4em;
	vertical-align: top;
}
th {
	background-color: #ddc;
	color: #a00;
}
li {  /* this is only for top-level list */
	margin-top: 0.6em;
}
ul ul li, ol ol li, ol ul li, ul ol li {  /* except top-level list */
	margin-top: 0px;
}

input[type=text] { font-family: monospace; }
textarea { font-family: monospace; }
input[type=submit]:focus,input[type=submit]:hover,input[type=submit]:active {
	background-color: orange;
}