Zulip Chat Archive
Stream: lean4
Topic: Docs: Manual Menu
Marcus Rossel (Jan 02 2023 at 11:32):
When viewing the Lean Manual in Safari on iOS, the menu button in the top left corner doesn't work for me. Is anybody else experiencing this?
For comparison, The Rust Programming Language's menu button works just fine.
Sebastian Ullrich (Jan 02 2023 at 13:32):
We might be missing fixes from upstream mdBook then
Last updated: Dec 20 2023 at 11:08 UTC