modification de la documentation (Dire, DireT...)

[mp-scratch.git] / src / LATEXScratch.mp

diff --git a/src/LATEXScratch.mp b/src/LATEXScratch.mp
index 3ec7f90..0b866eb 100644 (file)
--- a/src/LATEXScratch.mp
+++ b/src/LATEXScratch.mp
@@ -28,7 +28,7 @@ vardef LATEX primary s =
   write "\definecolor{DarkMarron}{rgb}{0.719,0.469,0.172}" to "mptextmp.mp";%0.625,0.312,0
   write "\definecolor{LightPink}{rgb}{0.672,0.234,0.699}" to "mptextmp.mp";%0.875,0.125,0.875
   write "\newcommand\opSon[1]{\colorbox{LightPink}{\bfseries\textcolor{white}{#1}}}" to "mptextmp.mp";
-  write "\newcommand\opSimple[1]{\colorbox{white}{\bfseries\textcolor{black}{#1}}}" to "mptextmp.mp";
+  write "\newcommand\opSimple[1]{\colorbox{white}{\normalfont\textcolor{black}{#1}}}" to "mptextmp.mp";
   write "\newcommand\opMouv[1]{\colorbox{DarkBlue}{\bfseries\textcolor{white}{#1}}}" to "mptextmp.mp";
   write "\newcommand\opAp[1]{\colorbox{LightPurple}{\bfseries\textcolor{white}{#1}}}" to "mptextmp.mp";
   write "\newcommand\opApMenu[1]{\colorbox{DarkPurple}{\bfseries\textcolor{white}{\normalfont #1 \textcolor{black}{\tiny$\blacktriangledown$}}}}" to "mptextmp.mp";