From c04159843794f2b1615f033a3ba540fd0bf7f5ea Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 5 Dec 2014 16:11:26 +0100
Subject: doc: improved xhtml compatibility (cover, header,...)
---
doc/common/styles/html/coqremote/header.html | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
(limited to 'doc/common/styles/html/coqremote/header.html')
diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html
index a46ccb88f0..c6c4509133 100644
--- a/doc/common/styles/html/coqremote/header.html
+++ b/doc/common/styles/html/coqremote/header.html
@@ -2,14 +2,14 @@
-
+
-
-
-
-
-
-
+
+
+
+
+
+
Standard Library | The Coq Proof Assistant
--
cgit v1.2.3