CSS Fixes for Highlighting, TOC changes