The CSS file for Jenkins