/* Theme additions are consolidated in default.css. */