From 54fc5892c70ff0ce546909ca0f144cb859acf1fb Mon Sep 17 00:00:00 2001
From: "Mohammad-Habib.Javaid"
 <mohammad-habib.javaid@etu.sorbonne-universite.fr>
Date: Tue, 30 Jul 2024 10:52:59 +0200
Subject: [PATCH] replace span in tt_elem by simply bold, because not used in
 html generation

---
 src/ohow/mld_builder.ml | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/src/ohow/mld_builder.ml b/src/ohow/mld_builder.ml
index 72cf070..6f14be4 100644
--- a/src/ohow/mld_builder.ml
+++ b/src/ohow/mld_builder.ml
@@ -217,11 +217,9 @@ module rec PhrasingParser :
   let br_elem _ = "  \n"
   let img_elem _ _ _ = forbidden
 
-  let tt_elem _ l =
-    "{%html: <span class=\"teletype\">"
-    ^ escape_mld (String.concat "" l)
-    ^ "</span> %}"
-
+  (* normalement, c'est un span avec la classe teletype, mais c'est inutilisé,
+     donc autant juste mettre en gras *)
+  let tt_elem _ l = "{b " ^ escape_mld (String.concat "" l) ^ "}"
   let monospace_elem _ l = "[" ^ String.concat "" l ^ "]"
 
   (* J'aurais pu choisir le latex mais j'ai préféré le html *)
@@ -298,11 +296,7 @@ and MldBuilder :
     let my_attrs = get_attributs attrs in
     "{%html: <img alt=\"" ^ alt ^ "\" src=\"" ^ href ^ "\" " ^ my_attrs ^ "> %}"
 
-  let tt_elem _ l =
-    "{%html: <span class=\"teletype\">"
-    ^ escape_mld (String.concat "" l)
-    ^ "</span> %}"
-
+  let tt_elem _ l = "{b " ^ escape_mld (String.concat "" l) ^ "}"
   let monospace_elem _ l = "[" ^ String.concat "" l ^ "]"
 
   (* J'aurais pu choisir le latex mais j'ai préféré le html *)