Xxe/Css/publidoc.css
changeset 239 7842481b6f9c
parent 206 e61680154e7d
child 251 3483da1b39eb
--- a/Xxe/Css/publidoc.css	mer. juil. 17 13:34:07 2013 +0200
+++ b/Xxe/Css/publidoc.css	mer. juil. 17 15:57:04 2013 +0200
@@ -604,9 +604,13 @@
 
 highlight { font-weight: bold; }
 
+/* emphasis ~~~~~~~~~~~~~~~~~~~~~~~~ */
+
+emphasis { font-style: italic; }
+
 /* mentioned ~~~~~~~~~~~~~~~~~~~~~~~ */
 
-mentioned { font-style: italic; }
+mentioned { font-style: oblique; }
 
 /* term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */