/* Theme consolidated in styles.css. */