NEWS

--- a/NEWS	Fri Jan 08 23:59:28 2021 +0100
+++ b/NEWS	Sat Jan 09 00:11:52 2021 +0100
@@ -27,6 +27,9 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* Improved GUI look-and-feel: the portable and scalable FlatLightLaf is
+used by default on all platforms (appearance similar to IntelliJ IDEA).
+
 * Improved markup for theory header imports: hyperlinks for theory files
 work without formal checking of content.