css: Support for dark mode

Modern browsers have a "dark mode" preference, which enables alternate
styles on web sites that support this.

This patch adds a dark color scheme, that is automatically activated
via a CSS @media query.

Older browsers that do not support color schemes will simply show the
light scheme, but possibly without syntax highlighting.

Note that filters that use color (such as source highlighters) and
logotypes may need to be updated to work with a black background!
See the updated files in the filters/ directory.

Signed-off-by: Samuel Lidén Borell <samuel@kodafritt.se>
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
This commit is contained in:
Samuel Lidén Borell 2023-01-29 17:55:29 +01:00 committed by Jason A. Donenfeld
parent f37dd0dd3a
commit 8ed1bef90f
4 changed files with 214 additions and 41 deletions

View file

@ -29,12 +29,16 @@ from pygments.lexers import guess_lexer
from pygments.lexers import guess_lexer_for_filename
from pygments.formatters import HtmlFormatter
# The dark style is automatically selected if the browser is in dark mode
light_style='pastie'
dark_style='monokai'
sys.stdin = io.TextIOWrapper(sys.stdin.buffer, encoding='utf-8', errors='replace')
sys.stdout = io.TextIOWrapper(sys.stdout.buffer, encoding='utf-8', errors='replace')
data = sys.stdin.read()
filename = sys.argv[1]
formatter = HtmlFormatter(style='pastie', nobackground=True)
light_formatter = HtmlFormatter(style=light_style, nobackground=True)
dark_formatter = HtmlFormatter(style=dark_style, nobackground=True)
try:
lexer = guess_lexer_for_filename(filename, data)
@ -50,6 +54,10 @@ except TypeError:
# highlight! :-)
# printout pygments' css definitions as well
sys.stdout.write('<style>')
sys.stdout.write(formatter.get_style_defs('.highlight'))
sys.stdout.write('\n@media only all and (prefers-color-scheme: dark) {\n')
sys.stdout.write(dark_formatter.get_style_defs('.highlight'))
sys.stdout.write('\n}\n@media (prefers-color-scheme: light) {\n')
sys.stdout.write(light_formatter.get_style_defs('.highlight'))
sys.stdout.write('\n}\n')
sys.stdout.write('</style>')
sys.stdout.write(highlight(data, lexer, formatter, outfile=None))
sys.stdout.write(highlight(data, lexer, light_formatter, outfile=None))