fix css toc style so font size is reduced only once