/* Search box */
.searchInput {
  display: inline;
  margin-right: 3px;

  padding-left: 2px;
/*    height: 16px;  now inherited from input */
  vertical-align: middle;
  width: 200px;
  height: 24px;
  color: black;
  font-style: normal;
}

.searchView {
  /*color: white; */
  /* margin-left: 2px; */
  /* padding-left: 1px; */
  height: 32px;
}