a {color: #0000ff;
   text-decoration: none}
a:hover {background-color: #ffff00;}

body {font-family: sans-serif;}

div.title {font-size: 120%;
           font-weight: bold;}

hr {color: #000000;
    height: 1px;}

div.lastchange {font-size: 70%;
                text-align: right;}