Zulip Chat Archive

Stream: new members

Topic: NNG Dark Mode


view this post on Zulip Utensil Song (Jun 19 2020 at 13:07):

Also added night mode for anything on https://leanprover.github.io/ and https://leanprover-community.github.io/ locally, with just:

body {
    background-color: #202020 !important;
    filter: invert(1) hue-rotate(180deg);
}

using https://github.com/openstyles/stylus .

It looks like this:

image.png

The color can be tuned by changing the value before deg, and the color looks ok between 120deg and 180deg.

(Unfortunately, this (usually) universal dark mode style can't directly apply to NNG.)


Last updated: May 11 2021 at 22:14 UTC