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