diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-08 16:38:58 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:40 +0100 |
| commit | 14206ea932b147309f1cc046722b649a1aadb123 (patch) | |
| tree | 7f83c49fc47ca525992207e155d7c15979ff05a4 /doc/common/styles | |
| parent | 229e6cd0d380555f6764d92b2cc2c2c1326d88be (diff) | |
refman: xhtml validity of the cover page
Diffstat (limited to 'doc/common/styles')
| -rw-r--r-- | doc/common/styles/html/coqremote/cover.html | 29 | ||||
| -rw-r--r-- | doc/common/styles/html/simple/cover.html | 28 |
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"> |