Maybe rename this `highlight.css` so it's more obvious what it actually is, and use the comment space to note that it's the `github` theme for highlight.js and link to where it's source is.