theming: Separate primary and background colors - fix the header menu colors
#3980
| Job | Run time |
|---|---|
| 6s | |
| 17m 17s | |
| 17m 31s | |
| 16m 46s | |
| 16m 4s | |
| 17m 8s | |
| 4s | |
| 1h 24m 56s |