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/simple/header.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'doc/common/styles/html/simple/header.html')
diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html
index ca54353806..c350a8b9b5 100644
--- a/doc/common/styles/html/simple/header.html
+++ b/doc/common/styles/html/simple/header.html
@@ -4,8 +4,8 @@
-
-
+
+
The Coq Standard Library
--
cgit v1.2.3