<style type="text/css">
<!--
body {
   colour:  black;
   background:  white;
}

h1.title {
   text-align: center;
}

div.preface {
   background: rgb(225,225,225);
   padding: 1em;
   font-size: 125%;
   border: none;
}

div.body {
   margin-left: 5%;
   margin-right: 5%;
}

div.list_box {
   margin-left: 40%;
   margin-right: 40%;
}

div.centered {
   text-align: center;
}

p.footer {
   text-align: right;
   font-size: 50%;
}

table.centered_list {
   margin-left: 10%;
}

li.nicely_spaced {
   padding: 1em;
}
-->
</style>

