Improve menu default theme
Hello,
A few weeks ago, we announced the new Rudder documentation based on Antora. We changed the default menu theme, and it seems you liked it.
You asked us if we wanted to contribute to the project by integrating these changes into the default Antora theme.
Tell me if you are still interested in this contribution