Trac font is too small for comfortable reading

I’ve noticed we use a custom haiku.css stylesheet which overrides the default font sizes with smaller values:

body, th, tr {
    font: normal 13px Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
}

If I remove that line the site already looks much better, with the Trac 1.4 default font of 16 px Roboto.