From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- doc/common/styles/html/coqremote/footer.html | 6 ++--- doc/common/styles/html/coqremote/header.html | 34 +++++++++++++--------------- doc/common/styles/html/simple/header.html | 6 ++--- 3 files changed, 22 insertions(+), 24 deletions(-) (limited to 'doc/common/styles/html') diff --git a/doc/common/styles/html/coqremote/footer.html b/doc/common/styles/html/coqremote/footer.html index ff38ba8a..23dfccb6 100644 --- a/doc/common/styles/html/coqremote/footer.html +++ b/doc/common/styles/html/coqremote/footer.html @@ -21,9 +21,9 @@ diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html index 891fb328..c6c45091 100644 --- a/doc/common/styles/html/coqremote/header.html +++ b/doc/common/styles/html/coqremote/header.html @@ -2,18 +2,16 @@ - -Standard Library | The Coq Proof Assistant - - - + + + + + + + + - - - - - - +Standard Library | The Coq Proof Assistant @@ -23,20 +21,20 @@