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 ++++++++++++++++++++++++++++ doc/common/styles/html/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 ++++++++ 4 files changed, 109 insertions(+) create mode 100644 doc/common/styles/html/coqremote/footer.html create mode 100644 doc/common/styles/html/coqremote/header.html create mode 100644 doc/common/styles/html/simple/footer.html create mode 100644 doc/common/styles/html/simple/header.html (limited to 'doc/common') diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html new file mode 100644 index 000000000..138c30253 --- /dev/null +++ b/doc/common/styles/html/coqremote/footer.html @@ -0,0 +1,45 @@ +
+ +
+ + + + + + + + + + + + + diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html new file mode 100644 index 000000000..afcdbe73a --- /dev/null +++ b/doc/common/styles/html/coqremote/header.html @@ -0,0 +1,49 @@ + + + + + +Standard Library | The Coq Proof Assistant + + + + + + + + + + + + + + + +
+ + + + +
+ diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html new file mode 100644 index 000000000..308b1d01b --- /dev/null +++ b/doc/common/styles/html/simple/footer.html @@ -0,0 +1,2 @@ + + diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html new file mode 100644 index 000000000..14d2f9888 --- /dev/null +++ b/doc/common/styles/html/simple/header.html @@ -0,0 +1,13 @@ + + + + + + +The Coq Standard Library + + + + -- cgit v1.2.3