body { font-family: verdana, arial, helvetica, serif; font-size: 100%; width: 100%; color: black; margin: 25px; }
h1 { font-size: 250%; color: black;}
h2 { color: black;}
div.vertical {  
            text-align: center; width: 80%; font-size: 100%; margin-top: 5%;}
div.horizontal { border-top: dashed black thin; border-bottom: dashed black thin;
            width: 80%; font-size: 100%; padding: 2%; }	
table { font-size: 90%;}		
span.small { font-size: 70%; }
a { color: black; background-color: white;}
a:hover { background-color: black; color:white;}
a:visited { color: #AAAAAA;}
li { margin-top: 20px; }
h3 {margin-top: 50px; color: black;}
h4 { margin-top: 25px; color: black;}
hr { border: 0px;}
.title { font-style: normal; font-weight: bold; } 
.year { font-weight: bold; color: black; margin-top: 25px;}
.authors {font-variant: small-caps}
.conf { font-size: 90%;}