2 * CSS stylesheet for the website http://matita.cs.unibo.it/
34 /* site-wide typesetting */
37 font-family: sans-serif;
39 background-image: url(images/sheetbg.png);
40 background-repeat: repeat;
54 border-bottom-style: solid;
56 border-color: #cb8080;
72 text-decoration: underline;
76 text-decoration: underline;
77 background-color: #ecf6f9;
81 list-style-type: square;
87 list-style-type: none;
95 text-decoration : none;
97 border-bottom-style: solid;
98 border-color: #cb8080;
103 text-decoration: none;
108 text-decoration : none;
109 background-color: #ecf6f9;
152 border-color: #cb8080;
153 border-top-style: solid;
154 border-top-width: 3px;
157 a.quiet:link,visited,hover {
158 background-color: transparent;
159 text-decoration: none;
177 span.paper_abstract {