Chrome/Ubuntu doesn't switch to dark theme

[nedbat]

See the discussion starting at #858 (comment)

[rh314]

As a temporary workaround (to force dark mode) until this is implemented, one can:

• Take the CSS file and do a search-and-replace as follows:
  prefers-color-scheme: dark -> min-width: 1px

(You could even automatically script this as part of your testing workflow)