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