X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=00eef2ed1d1b94da444426eb53dc2447aa91d0ac;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=19a0a0935283d8560c4da54e0ed2c2ded04be227;hpb=de51a22214573437b5d6c2ae3b600e9d7bb8f9f6;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 19a0a0935..00eef2ed1 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,76 +1,248 @@
-body {
-  font-family: sans-serif;
-  font-size: 14pt;
+/*
+ * CSS stylesheet for the website http://matita.cs.unibo.it/
+ *
+ * $Id$
+ */
+
+/* page layout */
+
+div.menu {
+  position: absolute;
+  left: 0px;
+  width: 150px;
+  text-align: center;
+  font-size: 10pt;
+}
 
-  margin-left: 20px;
+div.main {
+  position: absolute;
+  top: 0px;
+  left: 150px;
+  width: 650px;
+  padding-left:20px;
+  font-size: 10pt;
 }
 
-span.h1 {
+div.news {
+  position: absolute;
+  top: 25px;
+  left: 845px;
+  font-size: 10pt;
+  width: 150px;
+  background: #eaeaea;
+  padding: 5px;
+  display: block;
+  height: 90%;
+  overflow: hidden;
+}
+
+/* site-wide typesetting */
+
+body {
   font-family: sans-serif;
+  font-size: 12pt;
+  background-image: url(images/sheetbg.png);
+  background-repeat: repeat;
+}
+
+h1 {
   font-size: 18pt;
+  color: #808080;
 
+  text-align: center;
+}
+
+h2 {
+  font-size: 16pt;
   color: #808080;
   
-  border-bottom-width: 4px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
+  border-bottom-style: solid;
+  border-width: 3px;
   border-color: #cb8080;
+}
 
-  margin-right:auto;
+h3 {
+  font-size: 14pt;
+  color: #808080;
+}
+
+h4 {
+  font-size: 13pt;
+  color: #808080;
+}
+
+a {
+  margin: 2px;
+  color: #591622;
+  text-decoration: underline;
+}
+
+a:hover {
+  text-decoration: underline;
+  background-color: #ecf6f9;
+}
+
+ul {
+  list-style-type: square;
+}
+
+p.spaced {
+  padding-bottom: 2em;
 }
 
-p {
-  margin-left:5px;
+/* menu */
+
+div.menu ul {
+  list-style-type: none;
+  padding-left: 10px;
+  padding-right: 10px;
 }
 
-a.upmenu {
+div.menu ul li {
   color: #591622;
-  background-color: #ffffff;
-  
-  font-family: sans-serif;
   font-style : italic;
-  
   text-decoration : none;
   
+  border-bottom-style: solid;
   border-color: #cb8080;
-  border-bottom-width: 3px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
+  margin-bottom: 15px;
+}
 
-  margin-left:20px;
-  margin-right:20px;
+div.menu ul li a {
+  display: block;
+  text-align: right;
+  text-decoration: none;
+  vertical-align: middle;
+  height: 45px;
+  background-repeat: no-repeat;
 }
 
-a.upmenu:hover { 
+a.menu:hover { 
   color: #591622;	
   text-decoration : none;
-  border-bottom-width: 3px;
-  border-color: #b2dae6;
+  background-color: #ecf6f9;
 }
 
-a {
-  color: #591622;
-  text-decoration : none;
+/* news */
+
+div.news ul {
+  padding-left: 0px;
+  list-style: inside;
 }
 
-a:hover {
-  text-decoration : none;
-  border-bottom-width: 2px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
-  border-color: #b2dae6;
+div.news span.date {
+  font-style: italic;
+}
+
+/* fancy classes */
+
+samp.tiny {
+  font-size: 8pt;
+}
+
+ul.wide li {
+  padding-bottom: 5px;
+}
+
+.center {
+  text-align: center;
+}
+
+div.topimage {
+  text-align: left;
+  padding-top: 28px;
+  padding-bottom: 28px;
 }
 
-div.upmenu {
+div.bottombar {
   display: block;
   width: auto;
-  text-align:center;
-  margin-bottom: 40px;
+  margin-top: 40px;
 }
 
+div.uplined {
+  height: auto;
+  padding-top: 10px;
+  width: 40%;
+  border-color: #cb8080;
+  border-top-style: solid;
+  border-top-width: 3px;
+}
+
+a.quiet:link,visited,hover { 
+  background-color: transparent;
+  text-decoration: none;
+  border-style: none;
+}
+
+a.quiet img { 
+  border-style:none; 
+}
+
+span.screenshots {
+  float: right;
+}
+
+/* papers */
+
+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;
+}
+
+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;
+}