html {
/*	background-color: red; */
	background-color: rgb(254,255,222);
}
body.misc {
	color: rgb(65,5,4);		/* brown */
	background-color: rgb(254,255,222);	/* keiko cream */
	width: 40em;
}
div.date {
	text-align: center;
	font-size: 75%;
}
div.version {
	text-align: center;
	font-size: 75%;
}
p.note {
	margin-left: 3.0em;
	text-indent: -1.8em;
	font-size: 85%;
}
li {
	line-height: 1.5em;
}
div.attention {
	text-align: right;
	font-size: 75%;
	color: rgb(123, 250, 123);
}