ref: 5d503a52db029434cd354e04a0c6adbd2081fefa
parent: 4594df97a94a862e9724bf1f63ef7666f3c3b8c0
author: Simon Tatham <anakin@pobox.com>
date: Tue Apr 5 13:45:48 EDT 2011
Adjust the yellow used for LINE_UNKNOWN so that it's always a bit darker than the background, because the Java front end demonstrates that it's a bit eyewatering when it _matches_ the background. [originally from svn r9145]