Sat, 27 Aug 2011 16:11:24 +0200 | wenzelm | less aggressive warning icon; | changeset | files |
Sat, 27 Aug 2011 16:01:24 +0200 | wenzelm | tuned colors; | changeset | files |
Sat, 27 Aug 2011 15:53:18 +0200 | wenzelm | transparent foreground color for quoted entities; | changeset | files |