Fix #634: asb: font color of selected result too dark