# HG changeset patch
# User wenzelm
# Date 1459602401 -7200
# Node ID 3e001fe6f16ae16192ea61922333d0debf9eef89
# Parent  ce22e5c3d4ceb2948a06815cd3233ef891aa19af
obsolete (see 1d977436c1bf);

diff -r ce22e5c3d4ce -r 3e001fe6f16a etc/isabelle.css
--- a/etc/isabelle.css	Sat Apr 02 14:17:03 2016 +0200
+++ b/etc/isabelle.css	Sat Apr 02 15:06:41 2016 +0200
@@ -22,9 +22,6 @@
   line-height: 120%;
 }
 
-.external_source { background-color: #FFFFFF; padding: 10px; }
-.external_footer { background-color: #FFFFFF; }
-
 .theories { background-color: #FFFFFF; padding: 10px; }
 .sessions { background-color: #FFFFFF; padding: 10px; }