Increase font in TOC for html targets