ToC font size in HTML 5 layout

[édouardt54717670]

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

[Captiv8r]

This likely calls for the expertise of @Willam van weelden

Cheers... Rick