slightly improved TOC css styles