# HG changeset patch
# User kleing
# Date 1081833946 -7200
# Node ID e0c0179100c9c9875961c25ec13952a3a32c28bb
# Parent  8c846773878afcb06589a1ab371da72e516c35be
isabelle.css

diff -r 8c846773878a -r e0c0179100c9 NEWS
--- a/NEWS	Tue Apr 13 06:11:10 2004 +0200
+++ b/NEWS	Tue Apr 13 07:25:46 2004 +0200
@@ -50,6 +50,10 @@
   than a restriction, as the theory loader screws up if Theory.ML is manually
   loaded.)
 
+* Presentation: generated HTML now uses a CSS style sheet to make layout
+  (somewhat) independet of content. It is copied from lib/html/isabelle.css. 
+  It can be changed to alter the colors/layout of generated pages.
+
 *** Isar ***
 
 * Tactic emulation methods rule_tac, erule_tac, drule_tac, frule_tac,