From 8006e4bd874610ba8b2661deae103626bbfce1e0 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 28 May 2007 09:09:07 +0000
Subject: [PATCH] added abstract toggling

---
 helm/www/matita/papers.shtml | 22 ++++++++++++++++++++++
 helm/www/matita/style.css    | 25 +++++++++++++++++++++++++
 2 files changed, 47 insertions(+)

diff --git a/helm/www/matita/papers.shtml b/helm/www/matita/papers.shtml
index 694f7143b..5b95763db 100644
--- 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 5590abf59..38abf1714 100644
--- 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;
-- 
2.39.2