Refactor HTML TOC stylesheet to use "roc" mode