/* UI shell styles are emitted by theme css. */