Patch for bug 313045: Display quoted text in a different color; patch by Olav Vitters <bugzilla-mozilla@bkor.dhs.org>, r=LpSolit, a=justdave.