diff -r 208625c74410 -r d5067911c762 Xxe/Css/publidoc.css --- 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; }