jenkins-dark-ocean Source: https://userstyles.org/styles/161405/jenkins-dark-ocean?utm_campaign=stylish_stylepage