Imported Upstream version 8.3upstream/8.3

1 files changed, 46 insertions, 0 deletions

diff --git a/doc/common/styles/html/simple/styles.hva b/doc/common/styles/html/simple/styles.hva
new file mode 100644
index 00000000..a2d46f3e
--- /dev/null
+++ b/doc/common/styles/html/simple/styles.hva
@@ -0,0 +1,46 @@
+\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">
+<link rel="stylesheet" type="text/css" href="hevea.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}}
+