body {padding:1em;}
.title	 {text-align: center;font-size:28pt;}
.toc-backref {font-size:22pt;}
h2 {font-size:18pt;}
tt {font-size:large;color:red;background:#dddddd;}
dt {font-weight:bold;}
.align-center {display: block; margin-left:auto; margin-right:auto;}
