selected formulas (in CKEeditor) are visually highlighted (fixes #509).