html {
	font-family: sans-serif;
	font-size: 12pt;
	max-width: 50em;
	margin: 0 auto;
}
h1 {
	margin: 0 0 1ex 0;
	font-family: serif;
}
p {
	margin: 1ex 0 1ex 0;
	text-align: justify;
}
code {
	border: dotted 1pt;
}
kbd {
	border: dotted 1pt;
}
td {
	vertical-align: top;
}
.leftimage {
	padding-right: 10pt;
}
.floatleft {
	float: left;
	margin: 0 10pt 10pt 0;
}
.footer {
	font-size: 8pt;
}
.fileinfo {
	font-size: 8pt;
	color: gray;
}
.titlebar {
	border-top: dashed 2pt;
	margin: 2em 0 1ex 0;
	clear: left;
}
.title {
	font-size: 16pt;
	font-weight: bold;
}
.tagbar {
	float: right;	
}
.tag {
	font-size: 10pt;
	font-weight: bold;
	background-color: #ffcc33;
	border-radius: 3pt;
	vertical-align: top;
	padding: 1pt 2pt 0 2pt;
}