body{
  color:black;
  background:#ededed;
  margin:0;
  padding:0;
  font:13px verdana, sans-serif;
}

.title {
  font-weight:bold;
  font-size:200%;
  text-align:center;
}
      
.subtitle {
  font-weight:normal;
  font-size:150%;
  text-align:center;
}
            
.authors {
  font-weight:bold;
  font-size:150%;
  text-align:center;
  margin-top:10px;
}
                    
a {
  color:#c30000;
  text-decoration:none;
}

.important {
  font-weight:bold;
}

.very_important {
  font-weight:bold;
  color:#c30000;
  font-size:+2px;
}

p.very_important {
  border:solid 1px #c30000;
  padding:2px;
  text-align:center;
  width:80%;
  margin-left:auto;
  margin-right:auto;
  margin-top:3ex;
  margin-bottom:3ex;
}

dl dt {
  font-weight:bold;
}

dl dd {
  margin-bottom:0.5em;
}