added abstract toggling

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">

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 5590abf59a08e2eee9f4d4d8e11eaff87abc761f..38abf1714c66741617603e32ea910ee788250ade 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -186,9 +186,34 @@ li.paper {
   padding-bottom: 5px;
 }
 
+span.paper_info {
+  display: block;
+}
 span.paper_abstract {
   display: none;
 }
+span.paper_abstract:before {
+  content: "Abstract: ";
+  font-weight: bold;
+  font-style: normal;
+}
+span.paper_download {
+  display: block;
+  float: right;
+}
+a.paper_download { /* snipet from ikiwiki rss button, thanks! */
+  background: #ff6600;
+  color: white !important;
+  border-left: 0.5px solid #cc9966;
+  border-top: 1px solid #ccaa99;
+  border-right: 1px solid #993300;
+  border-bottom: 1px solid #331100;
+  padding: 0px 0.5em 0px 0.5em;
+  font-family: helvetica, arial, sans-serif;
+  font-size: 80%;
+  text-decoration: none;
+  margin-top: 1em;
+}
 
 span.paper_author {
   font-style: italic;