-
Adam Barth authored
Previously it used Block, which is less efficient for large numbers of items. Also move the top margin out of the menu item to fix the baseline alignment of the text. Fixes #1615
2592f8f4
Previously it used Block, which is less efficient for large numbers of items. Also move the top margin out of the menu item to fix the baseline alignment of the text. Fixes #1615
HIAST - GitLab