aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common/styles
diff options
context:
space:
mode:
authorGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2014-12-08 16:38:58 +0100
committerGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2014-12-09 12:14:40 +0100
commit14206ea932b147309f1cc046722b649a1aadb123 (patch)
tree7f83c49fc47ca525992207e155d7c15979ff05a4 /doc/common/styles
parent229e6cd0d380555f6764d92b2cc2c2c1326d88be (diff)
refman: xhtml validity of the cover page
Diffstat (limited to 'doc/common/styles')
-rw-r--r--doc/common/styles/html/coqremote/cover.html29
-rw-r--r--doc/common/styles/html/simple/cover.html28
2 files changed, 19 insertions, 38 deletions
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">