pauladambrookes

General purpose drop down menu in navbar

15

Although the theme has drop-down nested menus for languages and versions, there seems no way to create custom drop-down menus. Which is an issue if your documentation site is very...