Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete (see 1d977436c1bf);
authorwenzelm
Sat, 02 Apr 2016 15:06:41 +0200
changeset 62813 3e001fe6f16a
parent 62812 ce22e5c3d4ce
child 62814 29ca4cdd998d
obsolete (see 1d977436c1bf);
etc/isabelle.css file | annotate | diff | comparison | revisions 
--- 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; }
isabelle