Xxe/Css/publidoc.css
changeset 89 208625c74410
parent 72 c85252fac80c
child 90 d5067911c762
--- a/Xxe/Css/publidoc.css	dim. févr. 05 09:19:55 2012 +0100
+++ b/Xxe/Css/publidoc.css	mar. mars 13 07:40:10 2012 +0100
@@ -470,9 +470,13 @@
 
 highlight { font-weight: bold; }
 
+/* mentioned ~~~~~~~~~~~~~~~~~~~~~~~ */
+
+mentioned { font-style: italic; }
+
 /* term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
 
-term { font-style: italic; }
+term { font-family: sans-serif; }
 
 /* link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */