#versioninfo {
	font-size: 60%;
	text-align: center; }

.lyrics {
	font-style: italic;
	padding-left: 5em; }

.credits {
	font-style: italic;
	text-align: right; }

.pubinfo,
.category {
	font-size: 90%;
	padding: 0;
	margin: 0; }

.commname {
	font-weight: bold; }

.toc {
	float: right;
	font-size: 90%;
	border: 1px solid black;
	padding: 1ex; }

.toc a {
	display: block; }