td.menu { padding-right: 0px; }
ul.menu li { padding-right:7px;}
pre { font-size:90%; }
i.param { font-size:95%; }