/* Public styling handled by theme v3. */