/* Result portal styles are maintained in resultatportal.css. */