Demon has uploaded a new change for review.
https://gerrit.wikimedia.org/r/70762
Change subject: Basic styling to make Gitblit look somewhat like Gerrit
......................................................................
Basic styling to make Gitblit look somewhat like Gerrit
Change-Id: I09bff764268347f27c1599e1a1bee2a30e97a329
---
M files/gitblit/gitblit.properties
1 file changed, 47 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/62/70762/1
diff --git a/files/gitblit/gitblit.properties b/files/gitblit/gitblit.properties
index caeb9fc..a01edbb 100644
--- a/files/gitblit/gitblit.properties
+++ b/files/gitblit/gitblit.properties
@@ -537,6 +537,53 @@
# SINCE 0.5.0
web.siteName = Wikimedia
+# You may specify a different logo image for the header but it must be
120x45px.
+# If the specified file does not exist, the default Gitblit logo will be used.
+#
+# SINCE 1.3.0
+# 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 = #FBFBFB
+
+# 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 = #002060
+
+# 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 = #002060
+
+# 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 = #39688E
+
+# 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 = #9C000F
+
# If *web.authenticateAdminPages*=true, users with "admin" role can create
# repositories, create users, and edit repository metadata.
#
--
To view, visit https://gerrit.wikimedia.org/r/70762
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I09bff764268347f27c1599e1a1bee2a30e97a329
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
