added abstract toggling

[helm.git] / helm / www / matita / papers.shtml

diff --git a/helm/www/matita/papers.shtml b/helm/www/matita/papers.shtml
index 694f7143b34825b9041cc803753563f43037b041..5b95763db3e186a312f55e364f1208e232002c20 100644 (file)
--- a/helm/www/matita/papers.shtml
+++ b/helm/www/matita/papers.shtml
@@ -1,3 +1,25 @@
+<script type="text/javascript">
+  function toggleAbstracts() {
+    abstracts = document.getElementsByTagName("span");
+    len = abstracts.length;
+    for (i=0; i != len-1; i++) {
+      elt = abstracts.item(i);
+      if (elt.hasAttribute("class")) {
+       if (elt.getAttribute("class") == "paper_abstract") {
+         if (elt.style.display != "none") {
+           elt.style.display = "none";
+         } else {
+           elt.style.display = "inline";
+         }
+       }
+      }
+    }
+  }
+</script>
+<small>
+  <a style="text-decoration: none;" href="javascript:toggleAbstracts()">[ Toggle abstracts ]</a>
+</small>
+
 <ul>
   
   <li class="paper">