Replace bootstrap burger menu with a CSS based one
authorMagnus Hagander <magnus@hagander.net>
Wed, 3 Sep 2025 12:02:53 +0000 (14:02 +0200)
committerMagnus Hagander <magnus@hagander.net>
Wed, 3 Sep 2025 12:07:03 +0000 (14:07 +0200)
commitb509e54a39d6280c336cb1f42379139c6551d4f5
treee132ad1af583ceac6491d3cc855a1cbe4f645d2d
parent3a0e8d0daabe364a0e3f5543aab0d742b01bb99f
Replace bootstrap burger menu with a CSS based one

This removes our dependency on the bootstrap javascript and along with
it also the jquery dependency. Instead we use a pure CSS based dropdown
menu, and a small snippet of custom javascript is used to maintain the
aria- tag information.

Reviewed by Dave Page and Chris Ellis
README.rst
media/css/main.css
media/js/jquery-3.4.1.slim.min.js [deleted file]
media/js/main.js
templates/base/base.html
templates/docs/docspage.html