th {
	vertical-align: top;
	text-align: right;
}

.tip {
	font-size: 8pt;
}

.plugin {
	margin: 10px;
	font-family: monospace;
	background-color: #CFCFCF;
	width: auto;
	padding: 3px;
}

* {
	font-family: Verdana, Arial;
	font-size: 10pt;
}

#error {
	margin: 5px;
	padding: 3px;
	border: 1px solid red;
	background-color: #FFB3B3;
}

#error ul {
	padding-top: 0;
	padding-bottom: 0;
	margin-top: 0;
	margin-bottom: 0;
}

#done {
	margin: 5px;
	padding: 3px;
	border: 1px solid green;
	background-color: #BCFFA9;
}

h1 {
	font-size: 14pt;
}