2020-11-14 19:20:06 +01:00
|
|
|
\newcommand\gm{\textit{(m.)} }
|
|
|
|
\newcommand\gf{\textit{(f.)} }
|
|
|
|
|
2020-11-15 21:58:23 +01:00
|
|
|
\definecolor{translationcolor}{RGB}{128, 0, 128}
|
2020-11-14 22:19:02 +01:00
|
|
|
\providecommand{ActiveTranslation}{none}
|
2020-11-14 19:20:06 +01:00
|
|
|
\newenvironment{translation}[1]{%
|
|
|
|
\def\switchtolang{#1}
|
2020-11-14 22:19:02 +01:00
|
|
|
\ifx\switchtolang\ActiveTranslation
|
2020-11-15 15:03:56 +01:00
|
|
|
\bigskip
|
|
|
|
\begin{adjustwidth}{3em}{}
|
2020-11-14 19:20:06 +01:00
|
|
|
\begin{\switchtolang}
|
2020-11-15 15:03:56 +01:00
|
|
|
\textsc{\titlecap{\switchtolang}}:
|
|
|
|
\itshape\color{translationcolor}
|
2020-11-14 19:20:06 +01:00
|
|
|
}{%
|
|
|
|
\end{\switchtolang}
|
|
|
|
\end{adjustwidth}
|
2020-11-15 15:03:56 +01:00
|
|
|
\bigskip
|
2020-11-14 19:20:06 +01:00
|
|
|
\else % do not translate
|
|
|
|
% No output
|
|
|
|
\fi
|
|
|
|
}
|