@charset "UTF-8";
body.frontpage {background-image: url("images/blue-spread.gif"); font-family: arial, verdana, sans-serif;}
body.publications {background-color: #00fff0; font-family: arial, verdana, sans-serif;}
body {font-family: arial, verdana, sans-serif;}
span.updated {font-size: 80%; float:right;}
