2 * CSS stylesheet for the website http://matita.cs.unibo.it/
36 /* site-wide typesetting */
39 font-family: sans-serif;
41 background-image: url(images/sheetbg.png);
42 background-repeat: repeat;
56 border-bottom-style: solid;
58 border-color: #cb8080;
74 text-decoration: underline;
78 text-decoration: underline;
79 background-color: #ecf6f9;
83 list-style-type: square;
93 list-style-type: none;
101 text-decoration : none;
103 border-bottom-style: solid;
104 border-color: #cb8080;
109 text-decoration: none;
114 text-decoration : none;
115 background-color: #ecf6f9;
146 padding-bottom: 28px;
159 border-color: #cb8080;
160 border-top-style: solid;
161 border-top-width: 3px;
164 a.quiet:link,visited,hover {
165 background-color: transparent;
166 text-decoration: none;
184 span.paper_abstract {