X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=38abf1714c66741617603e32ea910ee788250ade;hb=93c39e92eac6444e947be19e302265929f5261dd;hp=c614becaa9a5c8f2faa9f3c9b14b38442dbe0776;hpb=94a11e6888488cf8fb2c485bc8755a4f03ce3dfb;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index c614becaa..38abf1714 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -11,6 +11,7 @@ div.menu {
   left: 0px;
   width: 150px;
   text-align: center;
+  font-size: 10pt;
 }
 
 div.main {
@@ -19,6 +20,7 @@ div.main {
   left: 150px;
   width: 650px;
   padding-left:20px;
+  font-size: 10pt;
 }
 
 div.news {
@@ -26,9 +28,9 @@ div.news {
   top: 25px;
   left: 845px;
   font-size: 10pt;
-  width: 100px;
+  width: 150px;
   background: #eaeaea;
-  padding: 10px;
+  padding: 5px;
 }
 
 /* site-wide typesetting */
@@ -81,6 +83,10 @@ ul {
   list-style-type: square;
 }
 
+p.spaced {
+  padding-bottom: 2em;
+}
+
 /* menu */
 
 div.menu ul {
@@ -100,7 +106,12 @@ div.menu ul li {
 }
 
 div.menu ul li a {
+  display: block;
+  text-align: right;
   text-decoration: none;
+  vertical-align: middle;
+  height: 45px;
+  background-repeat: no-repeat;
 }
 
 a.menu:hover { 
@@ -136,7 +147,8 @@ ul.wide li {
 
 div.topimage {
   text-align: left;
-  padding-top: 14px;
+  padding-top: 28px;
+  padding-bottom: 28px;
 }
 
 div.bottombar {
@@ -174,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;