GitHub-Dark

GitHub-Dark copied to clipboard

Edited to show progress:

• [ ] GitHub: needed
• [x] CodeMirror: Added
• [x] Jupyter: Added

---

Base16 Ocean is the default color scheme in one of the most popular Sublime Text themes (Spacegray), and a similar variant of Base16 is the default in Atom editor.

I started working on this in my fork of this repo, but it's hard to get it right since GitHub's highlighting works so differently from Sublime Text. This is what I have so far but it's not great: https://github.com/dnut/GitHub-Highlighter/blob/master/themes/github/base16-ocean.css

Here is a sample of some Python using that stylesheet:

Have you tried using github-syntax-theme-generator?

I took a look at that because I saw it recommended in a different issue, but I am puzzled because it seems to do the opposite (create GitHub styled themes in a variety of formats) of what I actually want (create a different styled theme in GitHub's format).

Hi @dnut!

Nice work! Don't worry, I haven't been happy with my conversions into the GitHub syntax highlighter either... the style will never exactly match the other syntax themes. Either way, shoot us a PR and I'll add the CodeMirror style I found & the Jupyter (Pygments) style we already have!

Yeah @auscompgeek, I haven't had much luck using that generator... hand picking colors seems to be about the same, time-consuming-wise, as picking colors for the generator.

@dnut Did you want to submit a PR for this?

Sorry I've been extremely busy recently. I posted it here as a work in progress so there are definitely some tweaks I can make to improve it. Once I do that I'll submit a pull request.

I've updated userstyles to allow setting the three syntax themes (GitHub, CodeMirror & Jupyter) separately, so you can at least enjoy this style a little ;).

I will be out of town for the next 3.5 weeks or so starting Thursday, so take your time! If you do get it done, submit a PR and maybe we can convince @silverwind to merge and add it 😁

Hi @dnut! Any progress on the theme? Is there anything we can do to help?

ping @dnut you still around?