etc/isabelle.css

--- a/etc/isabelle.css	Fri Apr 01 23:11:17 2016 +0200
+++ b/etc/isabelle.css	Sat Apr 02 14:17:03 2016 +0200
@@ -15,6 +15,7 @@
 
 .head     { background-color: #FFFFFF; }
 .source   {
+  direction: ltr; unicode-bidi: bidi-override;
   background-color: #FFFFFF;
   padding: 10px;
   font-family: IsabelleText;