doc optimization

doc/.gitignore

 documentation.md
+documentation.rst
 documentation_files

doc/Makefile

@@ -58,7 +58,7 @@ $(AUTODOCDIR): $(MODULEDIR)
 	# $(AUTODOCBUILD) -f -o $@ $^
 
 doc-requirements: $(AUTODOCDIR)
-	jupyter nbconvert documentation.ipynb --to markdown
+	jupyter nbconvert documentation.ipynb --to rst
 
 
 html: doc-requirements

doc/_static/css/custom.css

+.code .highlight {
+    background: #eeffcc;
+}
+
+.highlight {
+    background: #f4f4f4;
+}

doc/conf.py

@@ -185,6 +185,9 @@ else:
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+def setup(app):
+    app.add_stylesheet('css/custom.css')
+
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
 # html_last_updated_fmt = '%b %d, %Y'