Feature #44444 » 0001-Extract-the-header-and-top-menu-background-colors-in.patch
| app/assets/stylesheets/application.css | ||
|---|---|---|
| 41 | 41 |
:root {
|
| 42 | 42 |
--fonts-main: "Noto Sans", sans-serif; |
| 43 | 43 |
--color-current-marker: var(--oc-indigo-5); |
| 44 |
/* no match in Open Color, using hex codes */ |
|
| 45 |
--color-top-menu-background: #234761; |
|
| 46 |
--color-header-background: #3A78A3; |
|
| 44 | 47 |
} |
| 45 | 48 |
html, body { min-block-size: 100vh; }
|
| ... | ... | |
| 86 | 89 |
} |
| 87 | 90 |
nav.top-menu {
|
| 88 |
background: #234761; /* no match in Open Color, using hex code */
|
|
| 91 |
background: var(--color-top-menu-background);
|
|
| 89 | 92 |
color: var(--oc-gray-2); |
| 90 | 93 |
font-size: 0.75rem; |
| 91 | 94 |
padding-inline: 14px; |
| ... | ... | |
| 145 | 148 |
#header {
|
| 146 | 149 |
margin: 0; |
| 147 |
background: #3A78A3; /* no match in Open Color, using hex code */
|
|
| 150 |
background: var(--color-header-background);
|
|
| 148 | 151 |
color: var(--oc-white); |
| 149 | 152 |
padding-block: 0.25rem 0; |
| 150 | 153 |
padding-inline: 1.25rem; |