added support for displaying the list of papers related to matita in the documentatio...

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

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index ef9fd1cb122d91a7544cc2df074b0626e8efb728..38ad69c8b8909d57abb677f84fb1f35229bdb3a3 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -152,3 +152,21 @@ span.screenshots {
   float: right;
 }
 
+/* papers */
+
+li.paper {
+  padding-bottom: 5px;
+}
+
+span.paper_abstract {
+  display: none;
+}
+
+span.paper_author {
+  font-style: italic;
+}
+
+span.paper_title {
+  font-weight: bold;
+}
+