X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Flddl.css;h=6db5f68431d2b2604d53a8d292c393400b97012e;hp=48a2ba4d8cb89843ddc21c4e4c984a95b73eaa8e;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hpb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc

diff --git a/helm/www/lambdadelta/css/lddl.css b/helm/www/lambdadelta/css/lddl.css
index 48a2ba4d8..6db5f6843 100644
--- a/helm/www/lambdadelta/css/lddl.css
+++ b/helm/www/lambdadelta/css/lddl.css
@@ -1,5 +1,12 @@
 @charset "UTF-8";
 
+/* objects ******************************************************************/
+
+.emph {
+  font-weight: bold;
+  font-size: medium;
+}
+
 /* terms ********************************************************************/
 
 .separator {