X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=c614becaa9a5c8f2faa9f3c9b14b38442dbe0776;hb=62f814b9b8c255abbdfcbf12d96f3a3b4e74d477;hp=ef9fd1cb122d91a7544cc2df074b0626e8efb728;hpb=3f55b3f76a5228ec5b97664469941736b9fb0202;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index ef9fd1cb1..c614becaa 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -21,6 +21,16 @@ div.main {
   padding-left:20px;
 }
 
+div.news {
+  position: absolute;
+  top: 25px;
+  left: 845px;
+  font-size: 10pt;
+  width: 100px;
+  background: #eaeaea;
+  padding: 10px;
+}
+
 /* site-wide typesetting */
 
 body {
@@ -99,6 +109,17 @@ a.menu:hover {
   background-color: #ecf6f9;
 }
 
+/* news */
+
+div.news ul {
+  padding-left: 0px;
+  list-style: inside;
+}
+
+div.news span.date {
+  font-style: italic;
+}
+
 /* fancy classes */
 
 samp.tiny {
@@ -114,7 +135,7 @@ ul.wide li {
 }
 
 div.topimage {
-  text-align: center;
+  text-align: left;
   padding-top: 14px;
 }
 
@@ -143,12 +164,25 @@ a.quiet img {
   border-style:none; 
 }
 
-pre.code {
-  margin-left: 2em;
-  font-size: 95%;
-}
-
 span.screenshots {
   float: right;
 }
 
+/* papers */
+
+li.paper {
+  padding-bottom: 5px;
+}
+
+span.paper_abstract {
+  display: none;
+}
+
+span.paper_author {
+  font-style: italic;
+}
+
+span.paper_title {
+  font-weight: bold;
+}
+