html: slightly wider TOC for readability