local modifications

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

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 98fc1d9de3aee41a2e9f0eadcf5b1bcbdaad40bb..5590abf59a08e2eee9f4d4d8e11eaff87abc761f 100644 (file)
--- 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,17 @@ div.main {
   left: 150px;
   width: 650px;
   padding-left:20px;
+  font-size: 10pt;
+}
+
+div.news {
+  position: absolute;
+  top: 25px;
+  left: 845px;
+  font-size: 10pt;
+  width: 150px;
+  background: #eaeaea;
+  padding: 5px;
 }
 
 /* site-wide typesetting */
@@ -71,6 +83,10 @@ ul {
   list-style-type: square;
 }
 
+p.spaced {
+  padding-bottom: 2em;
+}
+
 /* menu */
 
 div.menu ul {
@@ -90,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 { 
@@ -99,6 +120,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,8 +146,9 @@ ul.wide li {
 }
 
 div.topimage {
-  text-align: center;
-  padding-top: 14px;
+  text-align: left;
+  padding-top: 28px;
+  padding-bottom: 28px;
 }
 
 div.bottombar {
@@ -143,15 +176,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;
 }
 
-ul.with_screenshots li {
+span.paper_abstract {
+  display: none;
 }
 
-ul.with_screenshots li p span.screenshots {
-  float: right;
+span.paper_author {
+  font-style: italic;
+}
+
+span.paper_title {
+  font-weight: bold;
 }