]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/css/ld_web.css
we added summary and timeline to the Basic_2 page
[helm.git] / helm / www / lambda_delta / css / ld_web.css
index e553c3a3af9ca5c23b4a64222a3e6f03dc210631..9e7c3fc08fb76116394dad032eb996dc884ea03d 100644 (file)
@@ -41,6 +41,10 @@ div.text {
    text-align: left;
 }
 
+span.date {
+   font-weight: bold;
+}
+
 /* inline decorations *******************************************************/
 
 img.icon32 {