Modified inkpot with search indication

Eclipse Themes

Eclipse color theme originally created by David Strömgren. Migrated from legacy system.