updating the structures for sorts

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a53015662fe277ba0b2ce1c313f134cbaba1f9e3..00eef2ed1d1b94da444426eb53dc2447aa91d0ac 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -28,9 +28,12 @@ div.news {
   top: 25px;
   left: 845px;
   font-size: 10pt;
-  width: 105px;
+  width: 150px;
   background: #eaeaea;
   padding: 5px;
+  display: block;
+  height: 90%;
+  overflow: hidden;
 }
 
 /* site-wide typesetting */
@@ -186,9 +189,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;
@@ -198,3 +226,23 @@ span.paper_title {
   font-weight: bold;
 }
 
+dt {
+  margin-top:1em;
+  font-weight: bold;
+}
+
+ul.news li {
+  margin-bottom: 1em;
+  list-style-type: none;
+}
+
+ul.news li span.date {
+  font-weight: bold;
+}
+
+div.news div.newsheader {
+  text-align: center;
+  margin-left:auto;
+  margin-right:auto;
+  font-weight: bold;
+}