/* Generated by beta-auth/make_beta_themes.py from faq.css: do not edit by hand.
   Color themes for the beta only; the stylesheet itself is unchanged. */