diff --git a/lh-misc/lh-listings.sty b/lh-misc/lh-listings.sty
index faff9b2..c1f857b 100644
--- a/lh-misc/lh-listings.sty
+++ b/lh-misc/lh-listings.sty
@@ -185,6 +185,7 @@
   % 
 }%
 %% 
+\newcommand{\isabellefont}{\ttfamily}
 \IfFileExists{lh-listings-isar.sty}{\usepackage{lh-listings-isar}}
 
 \providecolor{isar}{named}{blue}
@@ -206,8 +207,10 @@
                 at (frame.north east) {Isabelle (Isar)};}
      ,listing options={
           style=isar
-          ,basicstyle=\lhdisplayfontsize\ttfamily
+          ,basicstyle=\lhdisplayfontsize\isabellefont
          ,mathescape
+         ,keepspaces
+         ,extendedchars
          ,#1
       }
   }%