Dark Mode

[jstucke]

No description provided.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.88%. Comparing base (42f7320) to head (6d86655).
Report is 14 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1229      +/-   ##
==========================================
- Coverage   91.96%   91.88%   -0.08%     
==========================================
  Files         377      376       -1     
  Lines       22360    20949    -1411     
==========================================
- Hits        20564    19250    -1314     
+ Misses       1796     1699      -97     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[dorpvom]

table has not-nice looking padding to the right

[dorpvom]

The hyper links / references should be highlighted more prominently

[dorpvom]

Line Numbering should be light, probably white

[dorpvom]

Was it a concious decision to give these tables a background? I'm not sure, but I think I'd prefer it not having the background differ from the rest of the "dark" back.

[jstucke]

table has not-nice looking padding to the right

fun fact: this problem was not introduced by this PR -- it was just invisible 😅

[dorpvom]

Probably tough, but it would surely be nice to make the pacman look more smooth on the dark background

[dorpvom]

Labels are tough to read. Should be light.

[dorpvom]

This is also impractical. The file name is not really readable. Either font would have to be dark or highlighting would have to be darker.

[jstucke]

The hyper links / references should be highlighted more prominently

it seems colored links were at least partially disabled in FACT at some point (independent of dark mode). Do we want to change that?