From 8c99a7929b48b4c4a33c80d0b6646f6e6bb563b5 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Wed, 03 Jul 2013 21:35:02 -0400 Subject: [PATCH] Documentation --- src/main/distrib/data/gitblit.properties | 47 +++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 47 insertions(+), 0 deletions(-) diff --git a/src/main/distrib/data/gitblit.properties b/src/main/distrib/data/gitblit.properties index d5573a6..f6ed383 100644 --- a/src/main/distrib/data/gitblit.properties +++ b/src/main/distrib/data/gitblit.properties @@ -531,6 +531,53 @@ # SINCE 0.5.0 web.siteName = +# 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 = + +# 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. # -- Gitblit v1.9.1