]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/lddl.css
web site update
[helm.git] / helm / www / lambdadelta / css / lddl.css
index 48a2ba4d8cb89843ddc21c4e4c984a95b73eaa8e..6db5f68431d2b2604d53a8d292c393400b97012e 100644 (file)
@@ -1,5 +1,12 @@
 @charset "UTF-8";
 
+/* objects ******************************************************************/
+
+.emph {
+  font-weight: bold;
+  font-size: medium;
+}
+
 /* terms ********************************************************************/
 
 .separator {