css: improve TOC, active links