Add some fancy javascript for setting the docs menu active state.