From 14206ea932b147309f1cc046722b649a1aadb123 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Mon, 8 Dec 2014 16:38:58 +0100
Subject: refman: xhtml validity of the cover page

---
 doc/common/styles/html/coqremote/cover.html | 29 ++++++++++-------------------
 doc/common/styles/html/simple/cover.html    | 28 +++++++++-------------------
 2 files changed, 19 insertions(+), 38 deletions(-)

(limited to 'doc/common')

diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html
index 12043269c..e0951cd3d 100644
--- a/doc/common/styles/html/coqremote/cover.html
+++ b/doc/common/styles/html/coqremote/cover.html
@@ -43,16 +43,14 @@
 
 <div id="content">
 
-<br/><br/><br/><br/>
-<h1 style="text-align: center; font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1>
+<br />
+<h1 style="text-align:center; font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1>
 
-<h2 style="text-align:center; font-size: 120%">
-  Version COQVERSION<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a>
-
-<br/><br/><br/><br/><br/><br/>
-<span style="text-align: center; font-size: 120%; ">The Coq Development Team</span>
-<br/><br/><br/><br/><br/><br/>
+<h2 style="text-align:center; font-size: 120%">Version COQVERSION</h2>
+<br />
 
+<h2 style="text-align:center; font-size: 150%">The Coq Development Team</h2>
+<br /><br /><br />
 
 <div style="text-align: left; font-size: 80%; text-indent: 0pt">
 <ul style="list-style: none; margin-left: 0pt">
@@ -64,20 +62,13 @@
   <li>V8.4 © INRIA 2012-2014</li>
 </ul>
 
-<p style="text-indent: 0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
-</div>
-<br/>
+<p style="text-indent:0pt">This research was partly supported by IST
+  working group ``Types''</p>
 
-<hr width="75%" size=1>
-<div style="text-align: left; font-size: 80%; text-indent: 0pt">
-<dl>
-  <dt><a name="note1" href="toc.html#text1">1</a>
-  <dd>This research was partly supported by IST working group ``Types''</dd>
-</dl>
-</div>
+<p style="text-indent:0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
 
 </div>
-
+</div>
 </div>
 
 <div id="sidebarWrapper">
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html
index d34ddd33a..d7d842b9a 100644
--- a/doc/common/styles/html/simple/cover.html
+++ b/doc/common/styles/html/simple/cover.html
@@ -20,16 +20,14 @@
 
 <div id="content">
 
-<br/><br/><br/><br/>
-<div style="text-align:center">
-<h1 style="font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1>
+<br />
+<h1 style="text-align:center; font-weight:bold; font-size: 300%; line-height: 2ex">Reference Manual</h1>
 
-<h2 style="font-size: 120%">
-  Version COQVERSION<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a></h2>
+<h2 style="text-align:center; font-size: 120%">Version COQVERSION</h2>
+<br />
 
-<br/><br/><br/><br/><br/><br/>
-<p><span style="text-align: center; font-size: 120%; ">The Coq Development Team</span></p>
-<br/><br/><br/><br/><br/><br/>
+<h2 style="text-align:center; font-size: 150%">The Coq Development Team</h2>
+<br /><br /><br />
 
 
 <div style="text-align: left; font-size: 80%; text-indent: 0pt">
@@ -42,23 +40,15 @@
   <li>V8.4 © INRIA 2012-2014</li>
 </ul>
 
+<p style="text-indent:0pt">This research was partly supported by IST
+  working group ``Types''</p>
+
 <p style="text-indent: 0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
-</div>
-<br/>
 
-<hr/>
-<div style="text-align: left; font-size: 80%; text-indent: 0pt">
-<dl>
-  <dt><a name="note1" href="toc.html#text1">1</a></dt>
-  <dd>This research was partly supported by IST working group ``Types''</dd>
-</dl>
 </div>
-
 </div>
-
 </div>
 
-
 <div id="footer">
 
 <div class="content">
-- 
cgit v1.2.3