]> pere.pagekite.me Git - text-free-culture-lessig.git/commitdiff
Change index font
authorben <ben@saturne.(none)>
Fri, 31 Jul 2015 21:59:21 +0000 (23:59 +0200)
committerben <ben@saturne.(none)>
Fri, 31 Jul 2015 21:59:21 +0000 (23:59 +0200)
myclass.cls

index 413530deead202d34bb0661cf15a7e9f9e0e2ba0..3723fdc78351e77cba80e9490996e51e6b122cef 100644 (file)
@@ -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}
 }