/* Make the textarea the full page width */
textarea {
	width: 100%;
	margin-bottom: 0.5ex;
	margin-top: 0.5ex;
	padding: 2px;
}
a:link {
	color: #0000cc;
	background: #ccffff;
	text-decoration: none}
a:visited {
	color: #333399;
	background: #ddddff;
	text-decoration: none}
a:active {
	color: #cc0000;
	text-decoration: none}
a:hover {
	color: #cc0000;
	text-decoration: none}
body {
	font-family: serif;
	color: black;
	background: white}
h1,h2,h3,H1,H2,H3 {
	font-family: sans-serif}
table.hints {
	width: 100%;
	background: #eeeeff;
	font-size: smaller;
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
	padding: 2px}