hamburger menu 19 Jun 2022 Published by Norman Walsh See also https://en.wikipedia.org/wiki/Hamburger_button. August, 20203 DocBook themes