This also includes tweaks to the syntax highlighting theme
which were necessary to support switching the theme using CSS
variables. Some token colors in the light syntax theme have been
swapped around for consistency.
This closes#3041.
This also removes the need to load Web fonts, leading to a smoother
page loading experience.
Co-authored-by: Nicholas Hydock <nhydock@users.noreply.github.com>