diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-02-11 14:39:11 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-02-11 14:39:11 +0000 |
| commit | 3fcf35360d68a24d77d7c3ddf24984ab41ced572 (patch) | |
| tree | fdc58d329e527696db6e24aa016bf80ff0fad89b /doc/common/styles/html/simple | |
| parent | f930602d29ee71144b620629b3f7148e22e309c1 (diff) | |
Modification du style du manuel de référence
(cherry picked from commit b44a87556b68c08b7cd2fcbdaf2b4067b8a77427)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11916 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/common/styles/html/simple')
| -rw-r--r-- | doc/common/styles/html/simple/cover.html | 79 | ||||
| -rw-r--r-- | doc/common/styles/html/simple/style.css | 13 | ||||
| -rw-r--r-- | doc/common/styles/html/simple/styles.hva | 45 |
3 files changed, 137 insertions, 0 deletions
diff --git a/doc/common/styles/html/simple/cover.html b/doc/common/styles/html/simple/cover.html new file mode 100644 index 000000000..75b938f9b --- /dev/null +++ b/doc/common/styles/html/simple/cover.html @@ -0,0 +1,79 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> + +<head> + +<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/> +<title>Reference Manual | The Coq Proof Assistant</title> + +<link rel="stylesheet" type="text/css" href="style.css"/> +<link rel="stylesheet" type="text/css" href="coqdoc.css"/> + +</head> + +<body> + +<div id="container"> +<div id="header"> +</div> + +<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> + +<h2 style="font-size: 120%"> + Version 8.2<a name="text1"></a><a href="#note1"><sup><span style="font-size: 80%">1</span></sup></a></h2> + +<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/> + + +<div style="text-align: left; font-size: 80%; text-indent: 0pt"> +<ul style="list-style: none; margin-left: 0pt"> + <li>V7.x © INRIA 1999-2004</li> + <li>V8.0 © INRIA 2004-2006</li> + <li>V8.1 © INRIA 2006-2008</li> + <li>V8.2 © INRIA 2008-2009</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/> + +<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"> +<ul class="menu"> + <li><a href="index.html">Cover</a></li> + <li><a href="toc.html">Table of contents</a></li> + <li><a href="general-index.html">General index</a></li> + <li><a href="command-index.html">Commands index</a></li> + <li><a href="tactic-index.html">Tactics index</a></li> + <li><a href="error-index.html">Errors index</a></li> +</ul> +</div> + +</div> + +</div> + +</body> + +</html> diff --git a/doc/common/styles/html/simple/style.css b/doc/common/styles/html/simple/style.css new file mode 100644 index 000000000..0b1e640b3 --- /dev/null +++ b/doc/common/styles/html/simple/style.css @@ -0,0 +1,13 @@ +#footer { + border-top: solid black 1pt; + text-align: center; + text-indent: 0pt; +} + +.menu { } +.menu li { + display: inline; + margin: 0pt; + padding: .5ex 1em; + list-style: none +}
\ No newline at end of file diff --git a/doc/common/styles/html/simple/styles.hva b/doc/common/styles/html/simple/styles.hva new file mode 100644 index 000000000..765c03850 --- /dev/null +++ b/doc/common/styles/html/simple/styles.hva @@ -0,0 +1,45 @@ +\renewcommand{\@meta}{ +\begin{rawhtml} +<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> +<title>Reference Manual | The Coq Proof Assistant</title> + +<link rel="stylesheet" type="text/css" href="style.css"> +<link rel="stylesheet" type="text/css" href="coqdoc.css"> + +\end{rawhtml}} + +% for HeVeA + +\htmlhead{\begin{rawhtml} + +<div id="container"> + +<div id="header"> +<h1>Coq Reference Manual</h1> +</div> + +<div id="content"> + +\end{rawhtml}} + +\htmlfoot{\begin{rawhtml} + +<div id="footer"> + +<div class="content"> +<ul class="menu"> + <li><a href="index.html">Cover</a></li> + <li><a href="toc.html">Table of contents</a></li> + <li><a href="general-index.html">General index</a></li> + <li><a href="command-index.html">Commands index</a></li> + <li><a href="tactic-index.html">Tactics index</a></li> + <li><a href="error-index.html">Errors index</a></li> +</ul> + +</div> +</div> + +</div> +</div> +\end{rawhtml}} + |