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/cover.html | 14 +++++++-------
doc/common/styles/html/coqremote/footer.html | 4 ++--
doc/common/styles/html/coqremote/header.html | 14 +++++++-------
doc/common/styles/html/coqremote/styles.hva | 15 +++++++--------
doc/common/styles/html/simple/cover.html | 6 +++---
doc/common/styles/html/simple/header.html | 4 ++--
doc/common/styles/html/simple/styles.hva | 8 ++++----
7 files changed, 32 insertions(+), 33 deletions(-)
(limited to 'doc')
diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index ac7d81d4e2..12043269c2 100644
--- a/doc/common/styles/html/coqremote/cover.html
+++ b/doc/common/styles/html/coqremote/cover.html
@@ -3,14 +3,14 @@
-
+
-
-
-
-
-
-
+
+
+
+
+
+
Reference Manual | The Coq Proof Assistant
diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html
index 1ec2765760..23dfccb62c 100644
--- a/doc/common/styles/html/coqremote/footer.html
+++ b/doc/common/styles/html/coqremote/footer.html
@@ -22,8 +22,8 @@
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
diff --git a/doc/common/styles/html/coqremote/styles.hva b/doc/common/styles/html/coqremote/styles.hva
index c5d37c0f4b..bf093948f9 100644
--- a/doc/common/styles/html/coqremote/styles.hva
+++ b/doc/common/styles/html/coqremote/styles.hva
@@ -1,14 +1,13 @@
\renewcommand{\@meta}{
\begin{rawhtml}
-
+
-
-
-
-
-
-
-
+
+
+
+
+
+
\end{rawhtml}}
% for HeVeA
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