diff --git a/Manual_tools/src/latex_converter_config/html/latex.sty b/Manual_tools/src/latex_converter_config/html/latex.sty
index 3bf9cba7dad..a50041ed726 100644
--- a/Manual_tools/src/latex_converter_config/html/latex.sty
+++ b/Manual_tools/src/latex_converter_config/html/latex.sty
@@ -483,15 +483,15 @@
% +--------------------------------------------------------------------------
% | * Greek alphabet: following Table 3.3 page 41 in Lamport.
% +--------------------------------------------------------------------------
-\newcommand{\alpha}{\lcRawHtml { α }}
-\newcommand{\beta}{\lcRawHtml { β }}
-\newcommand{\gamma}{\lcRawHtml { γ }}
-\newcommand{\delta}{\lcRawHtml { δ }}
-\newcommand{\epsilon}{\lcRawHtml { ε }}
-\newcommand{\varepsilon}{\lcRawHtml { ε }}
+\newcommand{\alpha}{\lcRawHtml{α}}
+\newcommand{\beta}{\lcRawHtml{β}}
+\newcommand{\gamma}{\lcRawHtml{γ}}
+\newcommand{\delta}{\lcRawHtml{δ}}
+\newcommand{\epsilon}{\lcRawHtml{ε}}
+\newcommand{\varepsilon}{\lcRawHtml{ε}}
\newcommand{\zeta}{\lcRawHtml%
{
}}
-\newcommand{\eta}{\lcRawHtml { η }}
+\newcommand{\eta}{\lcRawHtml{η}}
\newcommand{\theta}{\lcRawHtml%
{
}}
\newcommand{\vartheta}{\lcRawHtml%
@@ -500,29 +500,29 @@
{
}}
\newcommand{\kappa}{\lcRawHtml%
{
}}
-\newcommand{\lambda}{\lcRawHtml { λ }}
+\newcommand{\lambda}{\lcRawHtml{λ}}
\newcommand{\mu}{\lcRawHtml{µ}}
%%\newcommand{\mu}{\lcRawHtml%
%% {
}}
\newcommand{\nu}{\lcRawHtml%
{
}}
-\newcommand{\xi}{\lcRawHtml { ξ }}
-\newcommand{\pi}{\lcRawHtml { π }}
+\newcommand{\xi}{\lcRawHtml{ξ}}
+\newcommand{\pi}{\lcRawHtml{π}}
\newcommand{\varpi}{\lcRawHtml%
{
}}
\newcommand{\rho}{\lcRawHtml%
{
}}
\newcommand{\varrho}{\lcRawHtml%
{
}}
-\newcommand{\sigma}{\lcRawHtml { σ }}
+\newcommand{\sigma}{\lcRawHtml{σ}}
\newcommand{\varsigma}{\lcRawHtml%
{
}}
\newcommand{\tau}{\lcRawHtml%
{
}}
\newcommand{\upsilon}{\lcRawHtml%
{
}}
-\newcommand{\phi}{\lcRawHtml { Φ }}
-\newcommand{\varphi}{\lcRawHtml { φ }}
+\newcommand{\phi}{\lcRawHtml{Φ}}
+\newcommand{\varphi}{\lcRawHtml{φ}}
\newcommand{\chi}{\lcRawHtml%
{
}}
\newcommand{\psi}{\lcRawHtml%
@@ -532,20 +532,20 @@
\newcommand{\Gamma}{\lcRawHtml%
{
}}
-\newcommand{\Delta}{\lcRawHtml { Δ }}
-\newcommand{\Theta}{\lcRawHtml { Θ }}
+\newcommand{\Delta}{\lcRawHtml{Δ}}
+\newcommand{\Theta}{\lcRawHtml{Θ}}
\newcommand{\Lambda}{\lcRawHtml%
{
}}
\newcommand{\Xi}{\lcRawHtml%
{
}}
-\newcommand{\Pi}{\lcRawHtml { Π }}
-\newcommand{\Sigma}{\lcRawHtml { Σ }}
+\newcommand{\Pi}{\lcRawHtml{Π}}
+\newcommand{\Sigma}{\lcRawHtml{Σ}}
\newcommand{\Upsilon}{\lcRawHtml%
{
}}
-\newcommand{\Phi}{\lcRawHtml { Φ }}
+\newcommand{\Phi}{\lcRawHtml{Φ}}
\newcommand{\Psi}{\lcRawHtml%
{
}}
-\newcommand{\Omega}{\lcRawHtml { Ω }}
+\newcommand{\Omega}{\lcRawHtml{Ω}}
% +--------------------------------------------------------------------------
% | * Calligraphic letters
@@ -595,7 +595,7 @@
{ 
}}
\newcommand{\lciMathbbB}{\lcRawHtml%
{ 
}}
-\newcommand{\lciMathbbC}{\lcRawHtml { ℂ }}
+\newcommand{\lciMathbbC}{\lcRawHtml{ℂ}}
\newcommand{\lciMathbbD}{\lcRawHtml%
{ 
}}
\newcommand{\lciMathbbE}{\lcRawHtml%
@@ -616,12 +616,12 @@
{ 
}}
\newcommand{\lciMathbbM}{\lcRawHtml%
{ 
}}
-\newcommand{\lciMathbbN}{\lcRawHtml { ℕ }}
+\newcommand{\lciMathbbN}{\lcRawHtml{ℕ}}
\newcommand{\lciMathbbO}{\lcRawHtml%
{ 
}}
-\newcommand{\lciMathbbP}{\lcRawHtml { ℙ }}
-\newcommand{\lciMathbbQ}{\lcRawHtml { ℚ }}
-\newcommand{\lciMathbbR}{\lcRawHtml { ℝ }}
+\newcommand{\lciMathbbP}{\lcRawHtml{ℙ}}
+\newcommand{\lciMathbbQ}{\lcRawHtml{ℚ}}
+\newcommand{\lciMathbbR}{\lcRawHtml{ℝ}}
\newcommand{\lciMathbbS}{\lcRawHtml%
{ 
}}
\newcommand{\lciMathbbT}{\lcRawHtml%
@@ -636,7 +636,7 @@
{ 
}}
\newcommand{\lciMathbbY}{\lcRawHtml%
{ 
}}
-\newcommand{\lciMathbbZ}{\lcRawHtml { ℤ }}
+\newcommand{\lciMathbbZ}{\lcRawHtml{ℤ}}
% +--------------------------------------------------------------------------
% | * The \not command on some symbols (not all defined)
@@ -653,19 +653,19 @@
% +--------------------------------------------------------------------------
% | * Binary operation symbols following Table 3.4 page 42 in Lamport.
% +--------------------------------------------------------------------------
-\newcommand{\pm}{\lcRawHtml{ ± }}
-\newcommand{\times}{\lcRawHtml{ × }}
-\newcommand{\div}{\lcRawHtml{ ÷ }}
+\newcommand{\pm}{\lcRawHtml{±}}
+\newcommand{\times}{\lcRawHtml{×}}
+\newcommand{\div}{\lcRawHtml{÷}}
\newcommand{\mp}{\lcRawHtml%
{ 
}}
\newcommand{\ast}{\lcRawHtml%
{ 
}}
\newcommand{\star}{\lcRawHtml%
{ 
}}
-\newcommand{\circ}{\lcRawHtml { ° }}
-\newcommand{\bullet}{\lcRawHtml { • }}
-\newcommand{\cap}{\lcRawHtml { ∩ }}
-\newcommand{\cup}{\lcRawHtml { ∪ }}
+\newcommand{\circ}{\lcRawHtml{°}}
+\newcommand{\bullet}{\lcRawHtml{•}}
+\newcommand{\cap}{\lcRawHtml{ ∩ }}
+\newcommand{\cup}{\lcRawHtml{ ∪ }}
\newcommand{\uplus}{\lcRawHtml%
{ 
}}
\newcommand{\sqcap}{\lcRawHtml%
@@ -676,7 +676,7 @@
{ 
}}
\newcommand{\wedge}{\lcRawHtml%
{ 
}}
-\newcommand{\setminus}{\lcRawHtml { \ }}
+\newcommand{\setminus}{\lcRawHtml{ \ }}
\newcommand{\wr}{\lcRawHtml%
{ 
}}
\newcommand{\diamond}{\lcRawHtml%
@@ -697,7 +697,7 @@
{ 
}}
\newcommand{\unrhd}{\lcRawHtml%
{ 
}}
-\newcommand{\oplus}{\lcRawHtml { ⊕ }}
+\newcommand{\oplus}{\lcRawHtml{⊕}}
\newcommand{\ominus}{\lcRawHtml%
{ 
}}
\newcommand{\otimes}{\lcRawHtml%
@@ -721,7 +721,7 @@
\newcommand{\le}{\leq}
\newcommand{\ge}{\geq}
-\newcommand{\leq}{\lcRawHtml { ≤ }}
+\newcommand{\leq}{\lcRawHtml{ ≤ }}
\newcommand{\prec}{\lcRawHtml%
{ 
}}
\newcommand{\preceq}{\lcRawHtml%
@@ -730,15 +730,15 @@
{ 
}}
\newcommand{\subset}{\lcRawHtml%
{ 
}}
-\newcommand{\subseteq}{\lcRawHtml { ⊆ }}
+\newcommand{\subseteq}{\lcRawHtml{ ⊆ }}
\newcommand{\sqsubset}{\lcRawHtml%
{ 
}}
\newcommand{\sqsubseteq}{\lcRawHtml%
{ 
}}
-\newcommand{\in}{\lcRawHtml{ ∈ }}
+\newcommand{\in}{\lcRawHtml{ ∈ }}
\newcommand{\vdash}{\lcRawHtml%
{ 
}}
-\newcommand{\geq}{\lcRawHtml { ≥ }}
+\newcommand{\geq}{\lcRawHtml{ ≥ }}
\newcommand{\succ}{\lcRawHtml%
{ 
}}
\newcommand{\succeq}{\lcRawHtml%
@@ -757,8 +757,8 @@
{ 
}}
\newcommand{\dashv}{\lcRawHtml%
{ 
}}
-\newcommand{\equiv}{\lcRawHtml { ≡ }}
-\newcommand{\sim}{\lcRawHtml { ∼ }}
+\newcommand{\equiv}{\lcRawHtml{ ≡ }}
+\newcommand{\sim}{\lcRawHtml{ ∼ }}
\newcommand{\simeq}{\lcRawHtml%
{ 
}}
\newcommand{\asymp}{\lcRawHtml%
@@ -767,8 +767,8 @@
{ 
}}
\newcommand{\cong}{\lcRawHtml%
{ 
}}
-\newcommand{\neq}{\lcRawHtml { ≠ }}
-\newcommand{\ne}{\lcRawHtml { ≠ }}
+\newcommand{\neq}{\lcRawHtml{ ≠ }}
+\newcommand{\ne}{\lcRawHtml{ ≠ }}
\newcommand{\doteq}{\lcRawHtml%
{ 
}}
\newcommand{\notin}{\lcRawHtml%
@@ -777,8 +777,8 @@
{ 
}}
\newcommand{\perp}{\lcRawHtml%
{ 
}}
-\newcommand{\mid}{\lcRawHtml { | }}
-\newcommand{\parallel}{\lcRawHtml { || }}
+\newcommand{\mid}{\lcRawHtml{ | }}
+\newcommand{\parallel}{\lcRawHtml{||}}
\newcommand{\bowtie}{\lcRawHtml%
{ 
}}
\newcommand{\Join}{\lcRawHtml%
@@ -795,13 +795,13 @@
% +--------------------------------------------------------------------------
\newcommand{\leftarrow}{\lcRawHtml%
{ 
}}
-\newcommand{\Leftarrow}{\lcRawHtml { ⇐ }}
-\newcommand{\rightarrow}{\lcRawHtml { → }}
-\newcommand{\Rightarrow}{\lcRawHtml { ⇒ }}
+\newcommand{\Leftarrow}{\lcRawHtml{ ⇐ }}
+\newcommand{\rightarrow}{\lcRawHtml{ → }}
+\newcommand{\Rightarrow}{\lcRawHtml{ ⇒ }}
\newcommand{\leftrightarrow}{\lcRawHtml%
{ 
}}
-\newcommand{\Leftrightarrow}{\lcRawHtml { ⇔ }}
-\newcommand{\mapsto}{\lcRawHtml { ↦ }}
+\newcommand{\Leftrightarrow}{\lcRawHtml{ ⇔ }}
+\newcommand{\mapsto}{\lcRawHtml{ ↦ }}
\newcommand{\hookleftarrow}{\lcRawHtml%
{ 
}}
\newcommand{\leftharpoonup}{\lcRawHtml%
@@ -810,14 +810,14 @@
{ 
}}
\newcommand{\rightleftharpoons}{\lcRawHtml%
{ 
}}
-\newcommand{\longleftarrow}{\lcRawHtml { ← }}
+\newcommand{\longleftarrow}{\lcRawHtml{ ← }}
\newcommand{\Longleftarrow}{\lcRawHtml%
{ 
}}
-\newcommand{\longrightarrow}{\lcRawHtml { → }}
-\newcommand{\Longrightarrow}{\lcRawHtml { ⇒ }}
+\newcommand{\longrightarrow}{\lcRawHtml{ → }}
+\newcommand{\Longrightarrow}{\lcRawHtml{ ⇒ }}
\newcommand{\longleftrightarrow}{\lcRawHtml%
{ 
}}
-\newcommand{\Longleftrightarrow}{\lcRawHtml { ⇔ }}
+\newcommand{\Longleftrightarrow}{\lcRawHtml{ ⇔ }}
\newcommand{\longmapsto}{\lcRawHtml%
{ 
}}
\newcommand{\hookrightarrow}{\lcRawHtml%
@@ -854,7 +854,7 @@
% +--------------------------------------------------------------------------
\newcommand{\prime}{'}
\newcommand{\|}{\parallel}
-\newcommand{\neg}{\lcRawHtml{ ¬ }}
+\newcommand{\neg}{\lcRawHtml{¬}}
\newcommand{\backslash}{\verb+\+}
\newcommand{\slash}{\verb+/+}
@@ -876,25 +876,25 @@
{ 
}}
\newcommand{\mho}{\lcRawHtml%
{ 
}}
-\newcommand{\emptyset}{\lcRawHtml { ∅ }}
-\newcommand{\nabla}{\lcRawHtml { ∇ }}
+\newcommand{\emptyset}{\lcRawHtml{∅}}
+\newcommand{\nabla}{\lcRawHtml{∇}}
\newcommand{\surd}{\lcRawHtml%
{ 
}}
\newcommand{\top}{\lcRawHtml%
{ 
}}
\newcommand{\bot}{\lcRawHtml%
{ 
}}
-\newcommand{\angle}{\lcRawHtml { ∠ }}
-\newcommand{\forall}{\lcRawHtml { ∀ }}
-\newcommand{\exists}{\lcRawHtml { ∃ }}
+\newcommand{\angle}{\lcRawHtml{ ∠}}
+\newcommand{\forall}{\lcRawHtml{ ∀ }}
+\newcommand{\exists}{\lcRawHtml{ ∃ }}
\newcommand{\flat}{\lcRawHtml%
{ 
}}
\newcommand{\natural}{\lcRawHtml%
{ 
}}
\newcommand{\sharp}{\lcRawHtml%
{ 
}}
-\newcommand{\partial}{\lcRawHtml { ∂ }}
-\newcommand{\infty}{\lcRawHtml { ∞ }}
+\newcommand{\partial}{\lcRawHtml{∂}}
+\newcommand{\infty}{\lcRawHtml{∞}}
\newcommand{\Box}{\lcRawHtml%
{ 
}}
\newcommand{\Diamond}{\lcRawHtml%
@@ -916,7 +916,7 @@
% +------------------------------------------------ --------------------------
\newcommand{\sum}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{∑}}%
- {\lcRawHtml{ ∑ }}}
+ {\lcRawHtml{∑}}}
\newcommand{\prod}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{ 
}}%
{\lcRawHtml{ 
}}}
@@ -930,7 +930,7 @@
{ 
}}%
{\lcRawHtml{ 
}}}
\newcommand{\bigcap}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
- { ∩ }}%
+ {∩}}%
{\lcRawHtml{ 
}}}
\newcommand{\bigcup}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{ 
}}%
@@ -961,7 +961,7 @@
% +--------------------------------------------------------------------------
% | * this is actually a amssymb:
% +--------------------------------------------------------------------------
-\newcommand{\gtreqless}{\lcRawHtml{⋛}}
+\newcommand{\gtreqless}{\lcRawHtml{ ⋛ }}
% +--------------------------------------------------------------------------
% | * Log-like functions following Table 3.9 page 44 in Lamport.
@@ -1006,12 +1006,12 @@
% +--------------------------------------------------------------------------
% | * Delimiters following Table 3.10 page 47 in Lamport.
% +--------------------------------------------------------------------------
-\newcommand{\lfloor}{\lcRawHtml { ⌊ }}
-\newcommand{\lceil}{\lcRawHtml { ⌈ }}
-\newcommand{\langle}{\lcRawHtml { ⟨ }}
-\newcommand{\rfloor}{\lcRawHtml { ⌋ }}
-\newcommand{\rceil}{\lcRawHtml { ⌉ }}
-\newcommand{\rangle}{\lcRawHtml { ⟩ }}
+\newcommand{\lfloor}{\lcRawHtml{⌊}}
+\newcommand{\lceil}{\lcRawHtml{⌈}}
+\newcommand{\langle}{\lcRawHtml{⟨}}
+\newcommand{\rfloor}{\lcRawHtml{⌋}}
+\newcommand{\rceil}{\lcRawHtml{⌉}}
+\newcommand{\rangle}{\lcRawHtml{⟩}}
% +--------------------------------------------------------------------------
% | * Math mode accents following Table 3.11 page 50 in Lamport.
@@ -1466,20 +1466,20 @@
\newcommand{\sqrt}[1]{\lcRawHtml{√}#1\lcRawHtml{}}
\newcommand{\sqrt@om}{\lcRawHtml{root}#1\lcRawHtml{}(#2)}
-\newcommand{\frac}[2]{(#1)/(#2)}
+\newcommand{\frac}[2]{\lcRawHtml{(}#1\lcRawHtml{)/(}#2\lcRawHtml{)}}
%\newcommand{\frac}[2]{\lcRawHtml{| }#1\lcRawHtml
% { |
|
| }%
% #2\lcRawHtml{ |
}}
%% correct in HTML 3.2 ?:
% \newcommand{\frac}[2]{\lcRawHtml{}#1\lcRawHtml{}#2\lcRawHtml{}}
-\newcommand{\over}{/} %% TeX style fraction
+\newcommand{\over}{/} %% TeX style fraction
-\newcommand{\dots}{\lcRawHtml{ … }}
-\newcommand{\ldots}{\lcRawHtml{ … }}
-\newcommand{\cdot}{\lcRawHtml{ ⋅ }}
-\newcommand{\cdots}{\lcRawHtml{ ⋯ }}
-\newcommand{\vdots}{\lcRawHtml{ ⋮ }}
-\newcommand{\ddots}{\lcRawHtml{ ⋱ }}
+\newcommand{\dots}{\lcRawHtml{ … }}
+\newcommand{\ldots}{\lcRawHtml{ … }}
+\newcommand{\cdot}{\lcRawHtml{ ⋅ }}
+\newcommand{\cdots}{\lcRawHtml{ ⋯ }}
+\newcommand{\vdots}{\lcRawHtml{ ⋮ }}
+\newcommand{\ddots}{\lcRawHtml{ ⋱ }}
\newcommand{\left}{}
\newcommand{\right}{}
diff --git a/Manual_tools/src/latex_converter_config/html/modern.css b/Manual_tools/src/latex_converter_config/html/modern.css
index 0a41d98f403..eaa18de3e4e 100644
--- a/Manual_tools/src/latex_converter_config/html/modern.css
+++ b/Manual_tools/src/latex_converter_config/html/modern.css
@@ -114,7 +114,7 @@ span.cal { font-family: "lucida calligraphy"; }
span.sym { font-style: normal; }
span.big_sym {
font-style: normal;
- font-size: 240%;
+ font-size: 150%;
}
sub { font-size: 80%; }