No hay demasiadas opciones, o diría que no hay ninguna opción en absoluto. Los móviles simplemente no tienen suficiente espacio.
Esa es una de las razones por las que estoy considerando abandonar por completo los docs. Alrededor del 95% de mis usuarios utilizan móviles, y utilizan la barra lateral muy raramente o nada en absoluto. Por lo tanto, curar el menú de documentación consume bastante tiempo y no creo que la relación tiempo/beneficio esté en equilibrio ![]()