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

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

diff --git a/src/LATEXScratch.mp b/src/LATEXScratch.mp
index 8e88b3c..0b866eb 100644 (file)
--- a/src/LATEXScratch.mp
+++ b/src/LATEXScratch.mp
@@ -11,16 +11,13 @@ vardef LATEX primary s =
   write "\usepackage[autolanguage]{numprint}" to "mptextmp.mp";
   write "\usepackage{amssymb}" to "mptextmp.mp";
   write "\usepackage{xcolor}" to "mptextmp.mp";
-%  write "\definecolor{LightGreen}{rgb}{0.625,1,0.250}" to "mptextmp.mp";
   write "\definecolor{DarkGreen}{rgb}{0.359,0.715,0.070}" to "mptextmp.mp";
   write "\definecolor{dDarkGreen}{rgb}{0.328,0.656,0.0625}" to "mptextmp.mp";
   write "\definecolor{mLightBlue}{rgb}{0.266,0.387,0.762}" to "mptextmp.mp";
-%  write "\definecolor{LightBlue}{rgb}{0.172,0.645,0.883}" to "mptextmp.mp";%0.75,0.875,1
   write "\definecolor{DarkBlue}{rgb}{0.289,0.422,0.828}" to "mptextmp.mp";%0.5,0.75,1
   write "\definecolor{cDarkBlue}{rgb}{0.172,0.645,0.883}" to "mptextmp.mp";
   write "\definecolor{cLightBlue}{rgb}{0.156,0.590,0.809}" to "mptextmp.mp";
   write "\definecolor{dDarkBlue}{rgb}{0,0.375,0.75}" to "mptextmp.mp";
-  %write "\definecolor{LightViolet}{rgb}{0.875,0.75,1}" to "mptextmp.mp";
   write "\definecolor{LightPurple}{rgb}{0.54,0.332,0.84}" to "mptextmp.mp";%0.75,0.5,1
   write "\definecolor{DarkPurple}{rgb}{0.492,0.305,0.77}" to "mptextmp.mp";
   write "\definecolor{DdarkPurple}{rgb}{0.348,0.277,0.691}" to "mptextmp.mp";
@@ -31,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";