diff options
Diffstat (limited to 'model_3/resources/99_sidebar.tex')
-rwxr-xr-x | model_3/resources/99_sidebar.tex | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/model_3/resources/99_sidebar.tex b/model_3/resources/99_sidebar.tex deleted file mode 100755 index fb98c57..0000000 --- a/model_3/resources/99_sidebar.tex +++ /dev/null @@ -1,30 +0,0 @@ -\newlength{\notesep} - -\def\changemargin#1#2{\list{}{\rightmargin#2\leftmargin#1}\item[]} -\let\endchangemargin=\endlist - - -\ifdefinedcolor{backsidecolor}{% - \backgroundcolor{c[1]}{backsidecolor} -}{} - -\setlength{\columnseprule}{0.2pt} - -% Une commande dédiée pour les notes de marge -\newcommand{\DUsidebar}[1]{% - \switchcolumn[1] - \begin{changemargin}{0.5cm}{0.0cm} - \small - \ifdefinedcolor{textsidecolor}{\color{textsidecolor}}{} - #1 - \end{changemargin} - \vspace{\notesep} - \switchcolumn - \ifdefinedcolor{textsidecolor}{\color{black}}{} -} - -\AtEndDocument{% - % Make the column go to the bottom - \flushpage - \end{paracol} -} |