fix CSS of auto_TOC()