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