From feeacd6e4a805e5d288b97132a02011afaba5e7f Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 13 Dec 2012 10:19:48 +0000
Subject: Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la
documentation en ligne)
---
doc/common/styles/html/coqremote/header.html | 60 +++++++++++++---------------
1 file changed, 28 insertions(+), 32 deletions(-)
(limited to 'doc/common/styles/html/coqremote/header.html')
diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html
index afcdbe73af..891fb32808 100644
--- a/doc/common/styles/html/coqremote/header.html
+++ b/doc/common/styles/html/coqremote/header.html
@@ -6,44 +6,40 @@
Standard Library | The Coq Proof Assistant
-
+
-
-
-
+
+
+
-
-
+
+
+
+
+ 
-
-
-
-