summaryrefslogtreecommitdiffstats
path: root/configuration
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-05-31 18:18:00 +0200
committerFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2012-05-31 18:18:00 +0200
commit744a0cc237c13e0cda19d95214e3f9471c1d3068 (patch)
treecb27eee917b5a29c4754984e3a5a4b8cfdb67803 /configuration
parent8b8a6be5df5ee8a02dd89cdcba14dddadb02a895 (diff)
downloadgalois-744a0cc237c13e0cda19d95214e3f9471c1d3068.zip
galois-744a0cc237c13e0cda19d95214e3f9471c1d3068.tar.gz
galois-744a0cc237c13e0cda19d95214e3f9471c1d3068.tar.bz2
[macros] commentaires plus petits
Diffstat (limited to 'configuration')
-rw-r--r--configuration/encoredesmacros.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/configuration/encoredesmacros.tex b/configuration/encoredesmacros.tex
index 95a07de..e09ad6d 100644
--- a/configuration/encoredesmacros.tex
+++ b/configuration/encoredesmacros.tex
@@ -12,7 +12,7 @@
\def\dbend{{\manual\char127}}
\newcommand{\version}{\begin{center}\small{version du \VCDate\ à \VCHM\,\textsc{tu}}\, {\tiny (\texttt{\VCRevision})\\ \ifx\VCModified=0 \VCModifiedText \fi}\end{center}}
-\newcommand\commentaire[1]{\marginpar{\textcolor{Magenta}{#1}}}
+\newcommand\commentaire[1]{\marginpar{\textcolor{Magenta}{\footnotesize{#1}}}}
\def\russe#1{\foreignlanguage{russian}{#1}}
\def\BourbakiAC#1{[{\bf AC}, #1]}
\def\BourbakiTS#1{[{\bf TS}, #1]}