/* vldb08-green: #20AA00 */

body
{
  margin-top:15px;
  margin-left:60px;
  margin-bottom:33px;
   background-color:white;
  font-family: Helvetica, Arial, sans-serif;
  font-size:10pt;
  color:black;
}

h1
{
  font-size:18pt;
  font-weight:bold;
  color:#FF0000;
  margin-top:25px;
  padding:10px;
  margin-bottom:20px;
  border-bottom:1px solid #FF0000;
}

h2
{
  font-size:15pt;
  font-weight:normal;
  color:#FF0000;
  margin-top:25px;
  margin-bottom:5px;
  border-bottom:1px solid #FF0000;
}

h3
{
  font-size:12pt;
  font-weight:normal;
  color:#FF0000;
  margin-top:20px;
  margin-bottom:5px;
}

a {
    text-decoration: none;
    color: #002bb8;
    background: none;
}
a:visited { color: #5a3696; }
a:active { color: #ffa500; }
a:hover { text-decoration: underline; }
a.stub { color: #772233; }
a.new,