Fix css syntax error
Nicer TOC for desktop