Minor doc updates, fixes and improvements

In particular, removed code which no longer worked, made light
theme easier on the eyes, added slight syntax highlightning,
and fixed search for exact matches.
This commit is contained in:
Lonami Exo
2019-03-16 17:17:25 +01:00
parent 05e5becd78
commit a5f5d6ef23
6 changed files with 48 additions and 43 deletions

View File

@@ -43,7 +43,6 @@ class DocsWriter:
"""Writes the head part for the generated document,
with the given title and CSS
"""
#
self.title = title
self.write(
'''<!DOCTYPE html>