BODY { font-size: 0.9em; font-family: verdana, arial; }
TH {font-size: 0.9em; font-family: verdana, arial; }
TD {font-size: 0.9em; font-family: verdana, arial; }
PRE { font-size: 0.9em; line-height: 1em; }
.menu {font-size: 0.8em;}
DIV.tree {font-size: 0.8em;}