leanprover / leanprover/verso

Dark mode for Verso HTML output (prefers-color-scheme)

Open
#641 1 comment 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Lean
Stars
384
Forks
124
Avg merge
22h 28m
Merged PRs (30d)
10

Description

The Verso works I've used (e.g. Functional Programming in Lean) don't provide any options to be read in dark mode. This makes the experience of tabbing back-and-forth between apps that support dark mode (VS Code) and Verso-generated material quite jarring on the eyes.

It would be great if Verso works automatically supported OS defaults for dark mode. Perhaps by default, the CSS Verso generates could include a @media (prefers-color-scheme: dark) { } set of theme overrides?

If not, what can Verso do to at least encourage (and make it simple for) works to support dark mode? Possibly related: Issue #216

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the code that generates Verso's HTML and CSS, then review the related discussion in issue #216. Done means generated works provide a defined dark-mode experience using OS preferences, or expose a documented, simple way for works to support it.

Written by the indexing model from the issue text.

Assessment

Tech stack
css
Domain
documentation, frontend
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.