From bab052b3108201127b1564d45cc25bba6aa29234 Mon Sep 17 00:00:00 2001
From: ben <ben@saturne.(none)>
Date: Fri, 31 Jul 2015 23:59:21 +0200
Subject: [PATCH 1/1] Change index font

---
 myclass.cls | 2 ++
 1 file changed, 2 insertions(+)

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}
 }
-- 
2.51.0