div.titlepage {
  margin-right: 10%;
}

div.affiliation {
  text-align: right;
}

h1.title {
  font-family: Verdana, sans-serif;
  font-size: 150%;
  font-weight: bold;
  letter-spacing: 0.25em;
  margin-left: -5%;
  text-align: right;
}

h3.author {
  font-size: 75%;
  text-align: right;
}

body { margin-left: 10%;
       margin-right: 10%;
       font-family: Verdana, serif;
}

div.note {
  background-color: #CCCCFF;
  border: medium #AAAA99 solid;
  padding-left: 5pt;
  padding-right: 5pt;
}

pre.programlisting
{
  background-color: #CCCCFF;
  border: medium #AAAA99 solid;
  padding-left: 5pt;
  padding-right: 5pt;
}

table.simplelist
{
  margin-left: 5%;
}

.index
{
  font-size: 75%;
}

body.index
{
  margin-left: 3px;
  margin-right: 3px;
}

.index .entry
{
  margin-left: 9px;
  margin-bottom: 3px;
}

.index a
{
  text-decoration: none;
}

.index a:hover
{
  text-decoration: underline;
}