dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
335065b
)
* <i> => <em>
author
Ævar Arnfjörð Bjarmason
<avar@users.mediawiki.org>
Thu, 14 Apr 2005 17:19:30 +0000
(17:19 +0000)
committer
Ævar Arnfjörð Bjarmason
<avar@users.mediawiki.org>
Thu, 14 Apr 2005 17:19:30 +0000
(17:19 +0000)
math/html.ml
patch
|
blob
|
history
diff --git
a/math/html.ml
b/math/html.ml
index
6a24b11
..
d9a4ef8
100644
(file)
--- 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)