body {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  margin-left: 15%;
  margin-right: 5%;
  margin-top: 40px;
}

h1 {
  font-size: 120%;
  font-weight: normal;
  padding-bottom: 5px;
  border-bottom: 1px solid black;
  margin-top: 60px;
}

h2 {
  margin-top: 40px;
  font-size: 110%;
  font-weight: normal;
}

h2.title { 
  padding-bottom: 5px;
  border-bottom: 1px solid black;
}

h3.title,
h3.subtitle { 
  font-size: 100%;
  font-weight: normal;
}

h4.title { 
  font-size: 90%;
  font-weight: normal;
}

h5.title { 
  font-size: 90%;
  font-weight: normal;
  font-style: italic;
}

hr { 
  display: none;
}

h3.author { 
  font-weight: normal;
  font-size: 80%;
  margin-bottom: 0px;
  text-align: right;
}

p.copyright {
  margin: 0px;
  margin-top: 1em;
  font-size: 80%;
  text-align: right;
}

p.pubdate {
  margin: 0px;
  font-size: 80%;
  text-align: right;
}

div.revhistory { 
  margin-top: 2em;
  margin-bottom: 2em;
  font-size: 80%;
}

div.revhistory table { 
  border: none;
}

div.revhistory td { 
  border: none;
  font-size: 80%;
}

div.revhistory th { 
  border: none;
  font-size: 80%;
}

div.abstract {
}

div.abstract {
}

div.abstract p.title {
}

div.affiliation	{
  font-size: 80%;
  text-align: right;
}

div.important p	{
  border-left: 2px solid red;
  padding-left: 0.2cm;
}

div.toc {
}

div.toc dl {
}

div.toc p { 
}

pre {
  border-left: thin solid #aaaaaa;
  padding-left: 0.5cm;
  padding-right: 0.5cm;
  padding-top: 0cm;
  padding-bottom: 0cm;
  white-space: pre;
  font-size: 80%
}


/* Inline markup */

span.systemitem {
  font-weight: bold;
}

span.application {
  font-weight: bold; 
}