-
anyone know anyone at docs.docker.com? (is the site open source?) they really need to add scroll-margin-top to their id elements it helps with fixed headers on the top of the page, ex github.com/jenkins-infra/jenkins.io/blob/master/content/css/jenkins.css#L1-L4On twitter.com
❤️ 1 Favorite Mood +4 🙂