Andreas Zeller

GreyboxGrammarFuzzer: in the Synopsis, all fuzzed outputs with the LangFuzzer are identical

1

Originally posted by Vinay: > Hi, I noticed that in the GreyboxGrammarFuzzing notebook, in the Synopsis, all fuzzed outputs with the LangFuzzer are identical.. 

Support dark mode

4

Allow the pages to be read in dark mode. See also https://web.dev/prefers-color-scheme

Using `inspect.getsource()` to retrieve the source code of functions does not work if * the function is defined in a notebook, and * we are calling `inspect.getsource()` from a notebook....

For probabilistic and constraint-based grammars, syntax diagrams should show the annotations, too.

Simple LaTeX commands missing from HTML rendering

2

**Describe the bug** $\sqrt{x}$ is not rendered in HTML notebooks. **To Reproduce** Have a cell with $\sqrt{x}$. The \sqrt is simply ignored. **Expected behavior** I should see $\sqrt{x}$.

Scrolling on touch devices does not close the menu

1

**Describe the bug** On mobile (touch) devices such as the iPhone, one can choose from the top menu, and while choosing, scroll down. The top menu then disappears (as should...

... instead of relying on existing Jupyter servers, like we do with mybinder.org One candidate would be [Jupyter Lite](https://jupyterlite.readthedocs.io/).

Say, following https://neumorphism.io/#e0e0e0

Enable support for Zeal on macOS

2

On a Mac with Zeal installed (but not Dash), Ctrl+H has no effect. This is because of "dash.js" only supporting Dash on macOS. To invoke "Zeal" on macOS, one needs...