various polish

Jacky Zhao

2023-07-02 e0ebee5aa9b3646de722f139f1d8d15591df538e

 quartz/components/styles/search.scss

@@ -1,8 +1,7 @@
.search {
  min-width: 5rem;
  max-width: 12rem;
  max-width: 14rem;
  flex-grow: 0.3;
  margin: 0 1.5rem;

  & > #search-icon {
    background-color: var(--lightgray);
@@ -102,6 +101,7 @@

          & .highlight {
            color: var(--secondary);
            font-weight: 700;
          }

          &:hover, &:focus {