From 61dc740ed1c3780cccaec00d059a28f0d31d0052 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 4 Jun 2012 12:07:52 +0200 Subject: Imported Upstream version 8.4~gamma0+really8.4beta2 --- doc/common/styles/html/coqremote/cover.html | 9 ++--- doc/common/styles/html/coqremote/footer.html | 45 +++++++++++++++++++++++++ doc/common/styles/html/coqremote/header.html | 49 ++++++++++++++++++++++++++++ doc/common/styles/html/simple/cover.html | 10 +++--- doc/common/styles/html/simple/footer.html | 2 ++ doc/common/styles/html/simple/header.html | 13 ++++++++ 6 files changed, 120 insertions(+), 8 deletions(-) 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/styles/html') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html index f4809a48..62ee00ac 100644 --- a/doc/common/styles/html/coqremote/cover.html +++ b/doc/common/styles/html/coqremote/cover.html @@ -27,7 +27,6 @@