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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */