diff --git a/docs/Makefile b/docs/Makefile
index 8eb1c88087..8909256f3d 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -38,6 +38,7 @@ clean:
 
 html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
+	sed -i -e 's/div.body/div.content/' $(BUILDDIR)/html/_static/basic.css
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."