diff --git a/doc/Makefile b/doc/Makefile
index 8f18d4498..d97c355d5 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -94,18 +94,18 @@ latex: $(LATEX)
 	csplit -s -f $@ $@01 '/<\/body>/'
 	mv $@00 $@
 	rm $@01
-%.html: %.mdwn header.html footer.html style.css Makefile
-	$(PANDOC) -s --toc -c style.css -f markdown -o $@ header.html $< footer.html
+%.html: %.mdwn header.html footer.html Makefile
+	$(PANDOC) -s --toc -f markdown -o $@ header.html $< footer.html
 
-hacking.html: hacking.mdwn ../TODO style.css Makefile
-	$(PANDOC) -s --toc -c style.css -o $@ -f markdown hacking.mdwn ../TODO
+hacking.html: hacking.mdwn ../TODO Makefile
+	$(PANDOC) -s --toc -o $@ -f markdown hacking.mdwn ../TODO
 
 #plinth.html: $(NEWLINE_SOURCES) ../TODO style.css Makefile
 #	$(PANDOC) -s --toc -c style.css -o $@ -f markdown $(NEWLINE_SOURCES)
 
-plinth.html: $(NEWLINE_SOURCES) ../TODO style.css Makefile
+plinth.html: $(NEWLINE_SOURCES) ../TODO Makefile
 	@csplit -s -f copyright_notice COPYING.mdwn '/##/'
-	$(PANDOC) -s --toc -c style.css -o $@ -f markdown $(NEWLINE_MAN_SOURCES)
+	$(PANDOC) -s --toc -o $@ -f markdown $(NEWLINE_MAN_SOURCES)
 	@rm -f copyright_notice0? .make_man
 
 html: $(HTML) $(HTML_PART)
diff --git a/doc/style.css b/doc/style.css
deleted file mode 120000
index 8aa119b08..000000000
--- a/doc/style.css
+++ /dev/null
@@ -1 +0,0 @@
-../static/theme/bootstrap/css/bootstrap.min.css
\ No newline at end of file