Dark theme

[alem0lars-yr]

It would be useful to also have some theming options, maily for a dark theme.

[kba]

The default output viewed in chromium/chrome with the Deluminate extension works very well for me.

[alem0lars-yr]

I don't use Chrome, I use uzbl.

[Atcold]

This one works perfectly for me https://userstyles.org/styles/37035/github-dark

[alem0lars-yr]

@Atcold How did you manage to apply that theme to generated html? Did you modify the template?

[Atcold]

From the style editing panel:

• Add;
• URLs matching the regexp;
• http://localhost:5000/.*.

[kikijiki]

That only affects the appearance in the browser, not the contents of the generated html file itself.

[Atcold]

@kikijiki, yes, of course. The visualisation engine is going to be GitHub, after all, no? Right now I have Grip previewing the documentation as it will appear in the repo, when I push it. Both of them have a dark theme applied in the browser.

What is that you're trying to achieve instead?

[kikijiki]

I'm using grip to export the file as html to distribute it, it would be cool if the file itself contained the dark style modifications.

[Atcold]

Copy and paste the content of the CSS theme file?

[electrum]

GitHub now has an official dark mode: https://github.com/settings/appearance

[aparajita]

Just posted a PR that implements full GitHub theme support. #335

If you can't wait for it to merge, uninstall your current grip, then:

git clone https://github.com/aparajita/grip.git
cd grip
git checkout theming
pip3 install -r requirements.txt

# to run
python3 /path/to/grip/grip/__main__.py

You'll probably want to make that last line into an alias to grip.