/* Layout and portal theme are consolidated in style.css. */