diff -r 1bf7d2f5e00c -r 77e65040711c doc/conf.py
--- a/doc/conf.py	Thu Feb 28 12:55:25 2013 +0100
+++ b/doc/conf.py	Mon Mar 04 15:39:34 2013 +0100
@@ -121,7 +121,7 @@
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-html_static_path = ['_static']
+#html_static_path = ['_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.