| Fri, 15 Apr 2016 14:27:59 +0200 | wenzelm | clarified rendering wrt. hyperlinks; | changeset | files |
| Fri, 15 Apr 2016 13:02:23 +0200 | wenzelm | tuned -- no position; | changeset | files |
| Fri, 15 Apr 2016 13:01:45 +0200 | wenzelm | clarified focus visibility; | changeset | files |