CSS to make jenkins look more like it's from this millennium