It would be easier to use the Simple Theme Plugin to override the CSS in
question than rebuilding the WAR yourself:
https://wiki.jenkins-ci.org/display/JENKINS/Simple+Theme+Plugin
I haven't noticed the text change you mention, possibly due to the
version I'm running, but if it's really difficult to read, then it would
filing it as an issue:
https://wiki.jenkins-ci.org/display/JENKINS/How+to+report+an+issue
Regards,
Chris
On 13/07/15 19:05, Tony Wallace wrote:
Sometime between Jenkins 1.580.3 and 1.609.1 the font used for the build
description in the build history list changed from a normal readable
font to a greyed-out style font which includes some mouse-over effect.
The build descriptions in the new build history are a lot harder to
read, and I would like to change them back to the 1.580.3 font. However,
someone went to some trouble to put in that new build history format,
and no one else is complaining, so Jenkins is probably going to stay the
way it is - I get that.
Is there any way I could change that font style in my local
configuration? Right now I use the built-in Jetty container, but I'd
change to some other if it would help. I would also rebuild jenkins.war
for this. Any ideas welcome.
The other changes in the new build history format are okay- don't care
much either way. Just want to change that hard-to-read greyed-out font
style back to a normal font. I went to some trouble adding additional
information to those Jenkins build descriptions. Having that info
clearly-readable in the build history lists helps our developers, and
reduces the number of separate build jobs I need to maintain.
--
You received this message because you are subscribed to the Google
Groups "Jenkins Users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to jenkinsci-users+unsubscr...@googlegroups.com
<mailto:jenkinsci-users+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-users/c22a14ff-6772-44ed-819d-55fc3ece618a%40googlegroups.com
<https://groups.google.com/d/msgid/jenkinsci-users/c22a14ff-6772-44ed-819d-55fc3ece618a%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Jenkins
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-users/55ABF4A3.5060602%40orr.me.uk.
For more options, visit https://groups.google.com/d/optout.
