]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/css/xhtbl.css
some corrections
[helm.git] / helm / www / lambda_delta / css / xhtbl.css
index 7bc0a30d87c9130ed14b902403d79e50fb2e0b14..f58db47c3dd578722846dcca0a10de65ddf6e4f0 100644 (file)
@@ -16,6 +16,10 @@ td {
 
 /* content types ************************************************************/
 
+.text {  
+  font-style: normal;
+}
+
 .component {
   font-style: italic;
   text-transform: capitalize;