Merging explore-redesign branch into develop for Explore July release #3

Merged
konstantina.galouni merged 6 commits from explore-redesign into develop 2023-07-05 11:15:39 +02:00
1 changed files with 8 additions and 0 deletions
Showing only changes of commit 4e9e2b25e1 - Show all commits

View File

@ -116,6 +116,14 @@
}
}
}
&.small-vertical {
--search-input-icon-padding-vertical: 10px;
& .search {
--input-padding-vertical: 10px;
}
}
}
.hook-inverse-misc() {