redesign mars theme a bit. Better border color for search-input for dark theme