Merge pull request #4968 from hugovk/dark-mode

This commit is contained in:
Hugo van Kemenade 2020-10-14 17:08:49 +03:00 committed by GitHub
commit 8aa6a5e9cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1997 additions and 0 deletions

View File

@ -309,3 +309,4 @@ texinfo_documents = [
def setup(app):
app.add_js_file("js/script.js")
app.add_css_file("css/dark.css")

1996
docs/resources/css/dark.css Normal file

File diff suppressed because it is too large Load Diff