drafting web design help

Stream: general

[Rob Lewis]

We're working on a fun new feature for the API docs that needs a little UI help. I don't have the patience for html/css/javascript myself! Does anyone with some experience here feel like lending a hand? This should easily take less than an hour for someone who knows what they're doing.

[Eric Wieser]

For mathlib3 or mathlib4?

[Rob Lewis]

For mathlib3. Both the feature and the design could presumably be ported over easily enough, but it's a better idea to focus on 3 for the moment.