Oh yeah, we can totally add it in `main.css` for now so that this PR is completely decoupled from any Pure PR. :smiley: