the side menu on the docs site is a bit wonky