Comment by EGreg

Are these correlated, by css class name, or like a font? So we could switch a “theme”?