From fcac9750666b4870136accc2d90807fd4caaaf2d Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 9 Jan 2019 13:17:32 +0000
Subject: [Manual] Remove link to non-existing CSS file

---
 doc/tools/coqrst/coqdomain.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index 827b7c13c1..067af954ad 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -1189,7 +1189,6 @@ def setup(app):
     app.connect('doctree-resolved', CoqtopBlocksTransform.merge_consecutive_coqtop_blocks)
 
     # Add extra styles
-    app.add_stylesheet("fonts.css")
     app.add_stylesheet("ansi.css")
     app.add_stylesheet("coqdoc.css")
     app.add_javascript("notations.js")
-- 
cgit v1.2.3