diff options
author | Ævar Arnfjörð Bjarmason <avar@users.mediawiki.org> | 2005-04-14 17:19:30 +0000 |
---|---|---|
committer | Ævar Arnfjörð Bjarmason <avar@users.mediawiki.org> | 2005-04-14 17:19:30 +0000 |
commit | 82e3c5f978c5b241dc10be1c2b5537777365de24 (patch) | |
tree | df5af4d959f2777b38e046569ed6fd834a1a3c39 /math/html.ml | |
parent | 335065bdfc3fa78434fb222febdab735f0dea5f2 (diff) | |
download | mediawikicore-82e3c5f978c5b241dc10be1c2b5537777365de24.tar.gz mediawikicore-82e3c5f978c5b241dc10be1c2b5537777365de24.zip |
* <i> => <em>
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/8331
Diffstat (limited to 'math/html.ml')
-rw-r--r-- | math/html.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/html.ml b/math/html.ml index 6a24b114eabc..d9a4ef871c3b 100644 --- a/math/html.ml +++ b/math/html.ml @@ -19,10 +19,10 @@ let font_render lit = function | (_, FONT_UF) -> lit | (CTX_IT,FONT_RTI) -> raise Too_difficult_for_html | (_, FONT_RTI) -> lit - | (CTX_IT,FONT_RM) -> "<i>"^lit^"</i>" + | (CTX_IT,FONT_RM) -> "<em>"^lit^"</em>" | (_, FONT_RM) -> lit | (CTX_RM,FONT_IT) -> lit - | (_, FONT_IT) -> "<i>"^lit^"</i>" + | (_, FONT_IT) -> "<em>"^lit^"</em>" let rec html_render_flat ctx = function TEX_LITERAL (HTMLABLE (ft,_,sh))::r -> (html_liberal (); (font_render sh (ctx,ft))^html_render_flat ctx r) |