ToC font size in HTML 5 layout

Hi All,

When generating HTML 5 output, the font size applied in the ToC-Index-etc. pane is way bigger than I would like it to be. How and where can I specify the size of the information showing in that panel?

Here's an illustration:

Thanks,

Édouard