DOC: modify theme css to keep navigation fixed on screen