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/cover.html | 6 +++---
doc/common/styles/html/simple/header.html | 4 ++--
doc/common/styles/html/simple/styles.hva | 8 ++++----
3 files changed, 9 insertions(+), 9 deletions(-)
(limited to 'doc/common/styles/html/simple')
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index 7cc20f5824..d34ddd33ae 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -4,11 +4,11 @@
-
+
Reference Manual | The Coq Proof Assistant
-
-
+
+
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
diff --git a/doc/common/styles/html/simple/styles.hva b/doc/common/styles/html/simple/styles.hva
index 76935cb14f..64cf210674 100644
--- a/doc/common/styles/html/simple/styles.hva
+++ b/doc/common/styles/html/simple/styles.hva
@@ -1,10 +1,10 @@
\renewcommand{\@meta}{
\begin{rawhtml}
-
+
-
-
-
+
+
+
\end{rawhtml}}
--
cgit v1.2.3