/* Theme styles are maintained in the global style.css. */