Make jenkins buttons more prominent, and stop obscuring important info.