design: Adjust CSS to use brand colors but maximize color contrast
Standardize on one style for buttons. Use yellow accent color
consistently in dark mode (except for buttons). Override behavior
to gray out sections in the table of contents. Fix bug with
disappearing arrow in nav drawer.