Fixing the side-menu for RTD.