Update for 1.7

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1304 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 4 insertions, 0 deletions

diff --git a/doc/coq2html.css b/doc/coq2html.css
index 5a326a35..0f6680e8 100644
--- a/doc/coq2html.css
+++ b/doc/coq2html.css
@@ -55,6 +55,10 @@ div.toggleproof {
   text-decoration: underline;
 }
 
+div.toggleproof:hover {
+  cursor: pointer;
+}
+
 div.proofscript {
   font-size: 0.8em;
 }