Nouvelles macros & couleurs

gitrefcard.tex

@@ -12,13 +12,18 @@
 % (a basic \addcontentsline before \printindex is not efficient enough)
 %\usepackage{tocbibindphil}
 
-\newcommand{\exindex}[1]{\index{#1@\texttt{#1}}}
+% \newcommand{\exindex}[1]{\index{#1@\texttt{#1}}}
+\newcommand{\exindex}[1]{\index{#1@\ex{#1}}}
+\newcommand{\exindat}[2]{\index{#1@\ex{#2}}}
 \newcommand{\inex}[1]{\input{exos/ex#1}}
 
 % Définition des couleurs
 \definecolor{localrep}{RGB}{204,255,204}
 \definecolor{index}{RGB}{204,207,255}
 \definecolor{workdir}{RGB}{255,204,204}
+\definecolor{nlocalrep}{HTML}{B84747}
+\definecolor{nindex}{HTML}{0099FF}
+\definecolor{nworkdir}{HTML}{7DA647}
 \definecolor{gittitle}{HTML}{FAE7B5}
 
 % Pour la définition des diagrammes
@@ -28,7 +33,10 @@
 \newcommand{\titresec}[1]{\textbf{#1}\\[-3mm]\rule{\textwidth}{0.4pt}}
 \newcommand{\exe}[1]{\ex{\emph{#1}}}
 \newcommand{\plus}{$^{+}$}
-\newcommand{\soustitre}[1]{\emph{\small #1}}
+\newcommand{\soustitre}[1]{\emph{\footnotesize\mdseries #1}}
+\newcommand{\sepcom}{\rule{\textwidth}{0.1pt}\\}
+\newcommand{\mm}{-{}-}
+
 
 % On active la génération de l'index
 \makeindex