dark style geoms: bigger Server Search button and props combo
Authored by: Jean-Francois Dockes 2014-11-12
Parent(s): [32a4ce]
Child(ren): [2433eb]
