--- a/Paper/document/root.tex	Tue Mar 23 13:07:11 2010 +0100
+++ b/Paper/document/root.tex	Tue Mar 23 17:22:19 2010 +0100
@@ -12,6 +12,8 @@
 
 \urlstyle{rm}
 \isabellestyle{it}
+\renewcommand{\isastyleminor}{\it}%
+\renewcommand{\isastyle}{\normalsize\it}%
 
 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}