From f8cb1942284979bc7c325f2137fad1293380d855 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 13 Jan 2012 17:21:21 +0000
Subject: Port to trunk the old commit r14895 of v8.4 (styles for the stdlib
documentation)
This commit r14895 comes apparently itself from commit r12010 in branch v8.2
---
doc/common/styles/html/coqremote/footer.html | 45 +++++++++++++++++++++++++
doc/common/styles/html/coqremote/header.html | 49 ++++++++++++++++++++++++++++
2 files changed, 94 insertions(+)
create mode 100644 doc/common/styles/html/coqremote/footer.html
create mode 100644 doc/common/styles/html/coqremote/header.html
(limited to 'doc/common/styles/html/coqremote')
diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html
new file mode 100644
index 0000000000..138c30253f
--- /dev/null
+++ b/doc/common/styles/html/coqremote/footer.html
@@ -0,0 +1,45 @@
+
+
+
+
+
+
+
+
+
+
+
+
+