K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2013-07-11T17:56:20.220583Z
K 7
svn:log
V 123
- userinput should also be bold so that it can be distinguished from the
  rest of the screen content

Reported by:	wblock

END
