2017-08-20 01:59:48 +02:00
|
|
|
:root {
|
2017-08-22 04:43:14 +02:00
|
|
|
/* Colors */
|
2017-08-20 01:59:48 +02:00
|
|
|
--color-primary: #155B4A;
|
2017-10-03 03:27:44 +02:00
|
|
|
|
|
|
|
|
/* search */
|
|
|
|
|
--search-bg: var(--color-canvas);
|
|
|
|
|
--search-border: 1px solid rgba(0,0,0,0.15);
|
2017-08-20 01:59:48 +02:00
|
|
|
}
|
