search

effekt-lang / effekt-website

Website of the Effekt programming language
https://effekt-lang.github.io/effekt-website
MIT License
4 stars 6 forks source link

Hamburger menu in documentation is misbehaving on Firefox Mobile #68

Open jiribenes opened 1 month ago

jiribenes commented 1 month ago

How to reproduce:

  1. open Firefox Mobile
  2. go to some documentation page with an editor window
  3. check that the hamburger menu still works
  4. run something in the REPL
  5. observe that the hamburger menu doesn't work anymore
  6. observe that after changing to a "desktop mode", the hamburger menu works there
jiribenes commented 1 month ago

I'm pretty sure the commit fixed it. @marvinborner since you had the same issue: if you get the time, test that it works on Firefox Mobile and if so, close this issue :)

jiribenes commented 1 month ago

oops. Let's close this after @marvinborner tests it ðŸ«