Full sized Wheelie in docs

rjdbcm · Aug 20, 2021 · b3fa422 · b3fa422
1 parent b98ec6a
commit b3fa422
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/docs/README.rst b/docs/README.rst
@@ -181,9 +181,10 @@ Examples
 Logo/Mascot
 ===========
 
-| Wheelie the Woma™ is an unregistered trademark of Ross J. Duff.
-| The logos are copyright © Ross J. Duff but may be transferred to an
-appropriate trust at a later date.
+| Wheelie the Woma™ and Woma Programming Language™ are unregistered trademarks of Ross J. Duff.
+| The logos/mascots (stored in docs/_static as .png files)
+| are copyright © Ross J. Duff but may be transferred to an
+| appropriate trust at a later date.
 | This is to prevent confusing/malicious use.
 
 Contributing

diff --git a/docs/conf.py b/docs/conf.py
@@ -64,8 +64,8 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
-html_favicon = '_static/aspidites_logo_wheelie_96_96.png'
-html_logo = '_static/aspidites_logo_wheelie_96_96.png'
+html_favicon = '_static/aspidites_logo_wheelie.png'
+html_logo = '_static/aspidites_logo_wheelie.png'
 
 
 class WomaLexer(RegexLexer):
@@ -167,7 +167,7 @@ def fstring_rules(ttype):
 
 
 lexers['woma'] = WomaLexer(startinline=True)
-
+pygments_style = "sphinx"
 
 def setup(app):
     app.add_js_file("js/script.js")