Skip to content
Snippets Groups Projects
Commit 8358cd86 authored by Philippe Dosch's avatar Philippe Dosch
Browse files

Macros de formatage

parent 21cfb0b9
No related branches found
No related tags found
No related merge requests found
...@@ -18,11 +18,16 @@ ...@@ -18,11 +18,16 @@
\definecolor{localrep}{RGB}{204,255,204} \definecolor{localrep}{RGB}{204,255,204}
\definecolor{index}{RGB}{204,207,255} \definecolor{index}{RGB}{204,207,255}
\definecolor{workdir}{RGB}{255,204,204} \definecolor{workdir}{RGB}{255,204,204}
\definecolor{gittitle}{HTML}{E9D66B} \definecolor{gittitle}{HTML}{FAE7B5}
% Pour la définition des diagrammes % Pour la définition des diagrammes
\usepackage{tikz} \usepackage{tikz}
% Macros de formatage
\newcommand{\titresec}[1]{\textbf{#1}\\[-3mm]\rule{\textwidth}{0.4pt}}
\newcommand{\exe}[1]{\ex{\emph{#1}}}
\newcommand{\plus}{$^{+}$}
% On active la génération de l'index % On active la génération de l'index
\makeindex \makeindex
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment