changeset 90 | d5067911c762 |
parent 89 | 208625c74410 |
child 106 | 91000116e5d2 |
--- a/Xxe/Css/publidoc.css mar. mars 13 07:40:10 2012 +0100 +++ b/Xxe/Css/publidoc.css jeu. mars 22 11:34:25 2012 +0100 @@ -466,6 +466,10 @@ note:after { font-size: 75%; content: ")"; } note p { display:inline; } +/* foreign ~~~~~~~~~~~~~~~~~~~~~~~~~ */ + +foreign { font-family: sans-serif; font-style: italic; } + /* highlight ~~~~~~~~~~~~~~~~~~~~~~~ */ highlight { font-weight: bold; }