body { font-size: 80%; }

#tools ul li { font-size: 1.4em; }
#tools ul li a.bigger { background: #B0B6B6; color: #10476E; }
#tools ul li a.default { background: #10476E; color: #B0B6B6; }

ul.tree a { white-space: normal;  }

#footer { font-size: 85% }

/* IE fix for rounded corners 
#content div.corners { background-color: #EDEDED !important; }
#sidebar div.corners { background: #D4B54B !important; }
#sidebar div.calendar { background: #0772BA !important; }*/