body{
   font-family:"Arial", "Helvetica", sans-serif;
}

h1{
   font-size:130%;
   font-weight:bold;
   background-color:#000066;
   color:#FFFFFF;
   padding:1%;
}

h2{
   font-size:110%;
   font-weight:bold;
   padding:1%;
}

h3{
   font-size:100%;
   font-weight:bold;
}

.bf{
   font-weight:bold;
}

li{
   padding:1px;
}

li.paper{
    margin-bottom:0.6em;
    margin-left:0.2em;
    line-height:150%
}

li.ex{
    margin-bottom:0.6em;
    margin-left:0.2em;
}

.line1{
   position:relative;
   padding-left:1%;
   padding-right:1%;
   padding-top:3%;
   padding-bottom:3%;
   background-color:#000066;
   color:white;
   font-size:150%;
   font-weight:bold;
   text-align:center;
}

.links{
   font-weight:bold;
}

.line2{
   position:relative;
   padding:1%;
   background-color:#CCCCCC;
   text-align:center;
}

.line3{
   position:relative;
}

p{
   padding-left:1%;
   padding-right:1%;
   padding-top:3px;
   padding-bottom:3px;
}

.paper-title{
   color:#006600;
}