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
..
sphinx_rtd_theme	Change the sphinx theme to one derived from readthedocs	2015-02-07 21:14:48 +01:00
static	Change the sphinx theme to one derived from readthedocs	2015-02-07 21:14:48 +01:00