div.titlepage {text-align: center; letter-spacing: .1em}
p.title {font-size: 150%; line-height: 150%}
p.title small {font-size: 40%}
p.subtitle {font-size: 110%; line-height: 150%}
p.subtitle small {font-size: 54%}
p.subtitle small i {font-size: 140%}
p.author {font-size: 110%; margin-bottom: 0}
p.dirdept {font-size: 90%; margin-top: 0}
p.publisher {font-size: 80%; line-height: 150%}
p.publisher small {font-size: 70%}
p.volume {margin-bottom: 0; font-size: 110%}
p.area {margin-top: .5ex; font-size: 100%}
.fancy {font-family: "Old English Text MT"; font-size: 110%}
ul {margin-left: 2em; margin-top: 0}
li {list-style: none; text-indent: -2em}
div.description p {text-indent: 2em; margin-bottom: .5ex}