some css corrections (pre.tag incompatibilities thanx to Jerrywham)