Style for jenkins, to be used with Jenkins Simple Theme Plugin