Fix banner color in dark mode

Before the change, the background color for the banner was not changing
when switching to dark mode. Use appropriate variable from core, so that
the color changes depending on if the user has selected a Light or Dark
theme.

Change-Id: I4892f23949bab3c2609108e89be50e8be47cb7e5
1 file changed