Fix to theming doc table of content.