Copy link to clipboard
Copied
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
Copy link to clipboard
Copied
This likely calls for the expertise of @Willam van weelden
Cheers... Rick