+/*
+ * 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;
+}
+
+div.main {
+ position: absolute;
+ top: 0px;
+ 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;
+ 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;
- margin-left: 20px;
}
-span.h1 {
- font-family: sans-serif;
- font-size: 16pt;
+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;
+}
+
+h3 {
+ font-size: 14pt;
+ color: #808080;
+}
+
+h4 {
+ font-size: 13pt;
+ color: #808080;
+}
- margin-right: auto;
- margin-left: 10%;
+a {
+ margin: 2px;
+ color: #591622;
+ text-decoration: underline;
}
-p {
- margin-left:10%;
+a:hover {
+ text-decoration: underline;
+ background-color: #ecf6f9;
}
+
ul {
- margin-left:10%;
+ list-style-type: square;
+}
+
+p.spaced {
+ padding-bottom: 2em;
+}
+
+/* menu */
+
+div.menu ul {
list-style-type: none;
+ padding-left: 10px;
+ padding-right: 10px;
}
-a.upmenu {
+div.menu ul li {
color: #591622;
- background-color: transparent;
-
- 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;
+}
+/* news */
+
+div.news ul {
+ padding-left: 0px;
+ list-style: inside;
}
-a {
- margin: 2px;
- color: #591622;
- text-decoration : underline;
+div.news span.date {
+ font-style: italic;
}
-a:hover {
- text-decoration : underline;
- /*
- border-bottom-width: 2px;
- border-top-width: 0px;
- border-left-width: 0px;
- border-right-width: 0px;
- border-style: solid;
- border-color: #b2dae6;
- */
- background-color: #ecf6f9;
+/* fancy classes */
+
+samp.tiny {
+ font-size: 8pt;
}
-div.upmenu {
- display: block;
- width: auto;
- text-align:center;
- margin-bottom: 40px;
+ul.wide li {
+ padding-bottom: 5px;
+}
+
+.center {
+ text-align: center;
+}
+
+div.topimage {
+ text-align: left;
+ padding-top: 28px;
+ padding-bottom: 28px;
}
div.bottombar {
display: block;
width: auto;
- text-align:right;
margin-top: 40px;
- margin-right: 40px;
-
}
div.uplined {
height: auto;
padding-top: 10px;
width: 40%;
- margin-left:auto;
+ border-color: #cb8080;
border-top-style: solid;
border-top-width: 3px;
- border-color: #cb8080;
}
a.quiet:link,visited,hover {
- background-color:transparent;
+ background-color: transparent;
text-decoration: none;
- border-style:none;
-
+ border-style: none;
}
-img.quiet {
+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;
+}