Zulip Chat Archive

Stream: general

Topic: drafting web design help

Rob Lewis (Jul 20 2022 at 21:24):

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 (Jul 20 2022 at 22:55):

For mathlib3 or mathlib4?

Rob Lewis (Jul 20 2022 at 23:16):

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.

Last updated: Aug 03 2023 at 10:10 UTC