#head {
	padding: 1em;
}
#title {
	text-align: center;
}
#author a{
	text-decoration: none;
	color:black;
}
#institution{
	text-align: left;
}
.subtitle {
	margin-top: .3em;
	margin-bottom: .3em;
	font-size: large;
}
.inlabel {
	font-size: smaller;
}
#paper {
	margin: 1em;
	padding: .5em;
	text-align: center;
	border: 1px dashed darkblue;
}
.filespecs {
	font-size: smaller;
}
#aux {
	margin: 1em;
}
.auxitem {
	margin: 1em;
}
.itemhead {
	font-size: large;
}
.subitem {
	margin-left: 2em;
}
.subitemhead {
	margin-top: .5em;
}
#lastupdate {
	margin-top: 2em;
	border-top: 1px solid black;
}
/* HTML redefined */
ul {
	margin-top: 0;
	margin-bottom: 0;
	font-size: normal;
}