2019-05-01 20:19:04 +00:00
|
|
|
.search__header {
|
|
|
|
|
padding: 1em;
|
|
|
|
|
position: sticky;
|
|
|
|
|
top: 0;
|
2019-05-05 15:52:08 +00:00
|
|
|
z-index: 50;
|
2019-08-13 02:42:12 +00:00
|
|
|
background-color: @background-colour;
|
2019-05-01 20:19:04 +00:00
|
|
|
background-color: var(--background-colour);
|
|
|
|
|
}
|
