Sat, 12 Jan 2013 21:12:00 +0100 | wenzelm | forced scroll to bottom, for improved cross-platform appearance; | changeset | files |
Sat, 12 Jan 2013 20:42:20 +0100 | wenzelm | merged | changeset | files |
Sat, 12 Jan 2013 20:13:34 +0100 | wenzelm | tuned font size, notably for current HD displays; | changeset | files |