$ 0 0 After updating from 5.13 to 5.14, the font size in TOC becomes too small. Is there a way to increase it? A screenshot: https://imgur.com/utIHCVn