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