Define table-subheader-background-color

Defines a CSS constant and uses it throughout the app.

Change-Id: I610e8eb4a51aa72e8eea526c585f308cabb55169
diff --git a/polygerrit-ui/app/elements/shared/gr-button/gr-button.html b/polygerrit-ui/app/elements/shared/gr-button/gr-button.html
index 6dd197d..7edb177 100644
--- a/polygerrit-ui/app/elements/shared/gr-button/gr-button.html
+++ b/polygerrit-ui/app/elements/shared/gr-button/gr-button.html
@@ -72,7 +72,7 @@
       /* Keep below color definition for primary/secondary so that this takes
        precedence when disabled. */
       :host([disabled]) {
-        --background-color: #eaeaea;
+        --background-color: var(--table-subheader-background-color);
         --button-color: #a8a8a8;
         cursor: default;
       }
diff --git a/polygerrit-ui/app/elements/shared/gr-page-nav/gr-page-nav.html b/polygerrit-ui/app/elements/shared/gr-page-nav/gr-page-nav.html
index 916f08d..3885497 100644
--- a/polygerrit-ui/app/elements/shared/gr-page-nav/gr-page-nav.html
+++ b/polygerrit-ui/app/elements/shared/gr-page-nav/gr-page-nav.html
@@ -22,7 +22,7 @@
   <template>
     <style include="shared-styles">
       #nav {
-        background-color: #f5f5f5;
+        background-color: var(--table-header-background-color);
         border: 1px solid var(--border-color);
         border-top: none;
         height: 100%;
diff --git a/polygerrit-ui/app/styles/app-theme.html b/polygerrit-ui/app/styles/app-theme.html
index 5888f92..a9c449e 100644
--- a/polygerrit-ui/app/styles/app-theme.html
+++ b/polygerrit-ui/app/styles/app-theme.html
@@ -36,6 +36,7 @@
     transition: none;
   }
   --table-header-background-color: #fafafa;
+  --table-subheader-background-color: #eaeaea;
 
   /* Font sizes */
   --font-size-normal: 1rem;
diff --git a/polygerrit-ui/app/styles/gr-change-list-styles.html b/polygerrit-ui/app/styles/gr-change-list-styles.html
index 497b5e4..3f6399f 100644
--- a/polygerrit-ui/app/styles/gr-change-list-styles.html
+++ b/polygerrit-ui/app/styles/gr-change-list-styles.html
@@ -80,7 +80,7 @@
         top: 0;
       }
       .groupHeader {
-        background-color: #eaeaea;
+        background-color: var(--table-subheader-background-color);
       }
       .groupHeader a {
         color: var(--primary-text-color);