/* Make the textarea the full page width */
textarea {
	width: 100%;
	margin-bottom: 0.5ex;
	margin-top: 0.5ex;
	padding: 2px;
}
a:link {
	color: #0000ee}
a:active {
	color: #ff0000}
a:visited {
	color: #551a8b}
body {
	color: #000000}
table.hints {
	width: 100%;
	background: #eeeeee;
	font-size: smaller;
	margin-top: 0.5ex;
	margin-bottom: 0.5ex;
	padding: 2px}