/* All portal styles are maintained in application.css. */