Theme the web UI with different skin colors

We now offer a few of our color choices as configuration settings
in gerrit.config, so the administrator can try to style the site
to better match their header and other local website conventions.

Change-Id: I096f8a2bbdfcf1593a6efcf1031d12852b5bd255
Signed-off-by: Shawn O. Pearce <sop@google.com>

gerrit-common/src/main/java/com/google/gerrit/common/data/GerritConfig.java

@@ -38,6 +38,12 @@ public class GerritConfig implements Cloneable {
   protected List<RegexFindReplace> commentLinks;
   protected boolean documentationAvailable;
 
+  protected String backgroundColor;
+  protected String topMenuColor;
+  protected String textColor;
+  protected String trimColor;
+  protected String selectionColor;
+
   public String getRegisterUrl() {
     return registerUrl;
   }
@@ -148,4 +154,44 @@ public class GerritConfig implements Cloneable {
   public void setDocumentationAvailable(final boolean available) {
     documentationAvailable = available;
   }
+
+  public String getBackgroundColor() {
+    return backgroundColor;
+  }
+
+  public void setBackgroundColor(String color) {
+    backgroundColor = color;
+  }
+
+  public String getTopMenuColor() {
+    return topMenuColor;
+  }
+
+  public void setTopMenuColor(String color) {
+    topMenuColor = color;
+  }
+
+  public String getTextColor() {
+    return textColor;
+  }
+
+  public void setTextColor(String color) {
+    textColor = color;
+  }
+
+  public String getTrimColor() {
+    return trimColor;
+  }
+
+  public void setTrimColor(String color) {
+    trimColor = color;
+  }
+
+  public String getSelectionColor() {
+    return selectionColor;
+  }
+
+  public void setSelectionColor(String color) {
+    selectionColor = color;
+  }
 }