FIX: Workaround header dropdown rendering issue#1298

Merged

sappelhoff merged 2 commits intomne-tools:mainfrom scott-huberty:drop_more_dropdown

Aug 23, 2024

+1

Commits on Aug 21, 2024

FIX: explicitly set the number of items that should appear in the header.
scott-huberty
committed
FIX: html_theme_options already defined
scott-huberty
committed