body             {background-color:#DDEEFF; }
img.floatright   { float:right; margin-left:0.3cm; margin-right:0.3cm; }
p.siteupdate     { font-size:75%; }
table.quicklinks { float:left; margin-left:0.3cm; margin-right:1.5cm; }
ul.biblio        { font-size:90%; }
ul.internallinks { font-size:80%; }