Il n’y a pas beaucoup d’options, ou je dirais qu’il n’y en a aucune. Les mobiles n’ont tout simplement pas assez d’espace.
C’est une des raisons pour lesquelles j’envisage de quitter totalement les docs. Environ 95% de mes utilisateurs utilisent des mobiles, et ils utilisent la barre latérale très rarement, voire pas du tout. Donc, la curation du menu de documentation prend beaucoup de temps et je ne pense pas que le ratio temps/bénéfice soit équilibré 