diff options
| author | James Moger <james.moger@gitblit.com> | 2013-06-26 17:10:13 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-06-26 17:10:13 -0400 |
| commit | c129a913c4fd64558aef4cbad41c4246f5886a97 (patch) | |
| tree | ab0e47226921b693159176f4e10cee0cfecd307f /src/main/distrib/data | |
| parent | 17725677285470ca7dbf5da93e4235415545a7cf (diff) | |
| download | gitblit-c129a913c4fd64558aef4cbad41c4246f5886a97.tar.gz gitblit-c129a913c4fd64558aef4cbad41c4246f5886a97.zip | |
Support custom header colors and finish theme flattening (issue 209)
Diffstat (limited to 'src/main/distrib/data')
| -rw-r--r-- | src/main/distrib/data/gitblit.properties | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index 50b09f30..f6ed3833 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -538,6 +538,46 @@ web.siteName = # BASEFOLDER
web.headerLogo = ${baseFolder}/logo.png
+# You may specify a custom header background CSS color. If unspecified, the
+# default color will be used.
+#
+# e.g. web.headerBackgroundColor = #002060
+#
+# SINCE 1.3.0
+web.headerBackgroundColor =
+
+# You may specify a custom header foreground CSS color. If unspecified, the
+# default color will be used.
+#
+# e.g. web.headerForegroundColor = white
+#
+# SINCE 1.3.0
+web.headerForegroundColor =
+
+# You may specify a custom header foreground hover CSS color. If unspecified, the
+# default color will be used.
+#
+# e.g. web.headerHoverColor = white
+#
+# SINCE 1.3.0
+web.headerHoverColor =
+
+# You may specify a custom header border CSS color. If unspecified, the default
+# color will be used.
+#
+# e.g. web.headerBorderColor = #002060
+#
+# SINCE 1.3.0
+web.headerBorderColor =
+
+# You may specify a custom header border CSS color. If unspecified, the default
+# color will be used.
+#
+# e.g. web.headerBorderFocusColor = #ff9900
+#
+# SINCE 1.3.0
+web.headerBorderFocusColor =
+
# If *web.authenticateAdminPages*=true, users with "admin" role can create
# repositories, create users, and edit repository metadata.
#
|