--- a/lib/html/isabelle.css Thu Jul 22 22:31:20 2010 +0200
+++ b/lib/html/isabelle.css Thu Jul 22 22:39:31 2010 +0200
@@ -5,8 +5,8 @@
.head { background-color: #FFFFFF; }
.source { background-color: #F0F0F0; padding: 10px; }
-.mlsource { background-color: #F0F0F0; padding: 10px; }
-.mlfooter { background-color: #FFFFFF; }
+.external_source { background-color: #F0F0F0; padding: 10px; }
+.external_footer { background-color: #FFFFFF; }
.theories { background-color: #F0F0F0; padding: 10px; }
.sessions { background-color: #F0F0F0; padding: 10px; }