gabalafou

> Looks like some change in sphinx is messing up all the tests, I'll have a look Thank you 🙏

> Heya cheers, the reason they are links, is because sphinx does not have a "concept" of buttons, i.e. no built-in nodes for them. Yeah, but I actually think it...

Gentle bump. Is there anything I can do to help this along?

The only way I see forward on this PR is breaking it up into several individual PRs where we change one and only one CSS style rule at a time....

One other thing. I think we need to establish a point of view about when zoom-related changes should start to kick in. For example the selector `.jp-FileBrowser-toolbar.jp-Toolbar` has a margin-top...

Right. But those PRs are each against a fork of jupyterlab rather than jupyterlab/jupyterlab. I was thinking that we should open the isolated changes as PRs against the jupyterlab/jupyterlab repo,...

I'd be happy to do the work to break up the PR into separate PRs, but I don't know how to do that without using my own Git commits, which...

I'm not really sure this document belongs under "Get Started" - should we move it somewhere else while keeping the old URL alive?

Just putting this down so we have it in writing. The proposal is to put this in alpha (or release candidate) to gather user feedback before a more general release.

> Note: we should investigate if the theme should be able to turn xterm.js `minimumContrastRatio`. @krassowski could you elaborate on this comment?