From: ben <ben@saturne.(none)>
Date: Fri, 31 Jul 2015 21:59:21 +0000 (+0200)
Subject: Change index font
X-Git-Tag: edition-2015-10-10~361^2~4
X-Git-Url: https://pere.pagekite.me/gitweb/text-free-culture-lessig.git/commitdiff_plain/bab052b3108201127b1564d45cc25bba6aa29234?ds=inline;hp=-c

Change index font
---

bab052b3108201127b1564d45cc25bba6aa29234
diff --git a/myclass.cls b/myclass.cls
index 413530d..3723fdc 100644
--- a/myclass.cls
+++ b/myclass.cls
@@ -26,6 +26,7 @@
 \let\stdindex=\theindex
 \let\endstdindex=\endtheindex
 \renewenvironment{theindex}{
+  \newfontfamily\indexfont[Scale=0.5]{DejaVu Serif}
   \begin{stdindex}
   \@ifundefined{chapter}{}{
     % To not have the number, replace by:
@@ -41,6 +42,7 @@
       \addcontentsline{toc}{chapter}{\indexname}
     \fi
   }
+  \indexfont
 }{
   \end{stdindex}
 }