Added a nicer version of the jenkins theme