Fix incorrect nav highlight; enable HTML5.