diff -r 05bf8226da0b -r 2c8908994b48 docs/conf.py
--- a/docs/conf.py	Fri May 18 15:39:21 2012 +0200
+++ b/docs/conf.py	Fri May 18 16:46:24 2012 +0200
@@ -120,7 +120,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 = ['aux_static']
+#html_static_path = ['aux_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.