Combobox: remove CSS which became obsolete now that the fix of #270 (an evolution of #341) has been pushed