body {margin-top:0;}
div {max-width: 240px; padding-left:4px; background-color:#FFFFCC; font-size:small;}
a {text-decoration: underline;}
a:visited {color:#0000cc;}
a:hover {text-decoration: none;}
.italic {font-style:italic;}
.bold {font-weight:bold;}
.keyword {color:#ff0000;}
.center {text-align:center;}
.red {color:#ff0000; vertical-align:middle;}
.cherry {color:#cc0000; vertical-align:middle;}