11.06.2012 - I used to have my Ubuntu set up so the highlighter was a different color from the regular orange. Then, because of a silly mistake when I was .