...

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

diff --git a/helm/www/matita/papers.shtml b/helm/www/matita/papers.shtml
index 2e67afd9aa42584a36860ed046c6dcaf00b71660..886a87271e47a734652882b4e974812ab41fe16c 100644 (file)
--- a/helm/www/matita/papers.shtml
+++ b/helm/www/matita/papers.shtml
@@ -1,21 +1,3 @@
-<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>