2 Commits

Author	SHA1	Message	Date
Lonami Exo	a5f5d6ef23	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.	2019-03-16 17:19:19 +01:00
Lonami Exo	c3e5d390eb	Add optional dark theme for the docs	2018-05-23 18:50:28 +02:00