fix active menu colors; disable devmode; re-add jquery-ui for toc