mathieui 61f28d7ffe Change the sphinx theme to one derived from readthedocs ... (without stuff like the unicode codepoint agressions and external resources) This should be cleaner and look good on mobile devices too.		2015-02-07 21:14:48 +01:00
..
theme.js	Change the sphinx theme to one derived from readthedocs	2015-02-07 21:14:48 +01:00