grayed-out font style in build history list

20 views
Skip to first unread message

Tony Wallace

unread,
Jul 13, 2015, 5:05:02 PM7/13/15
to jenkins...@googlegroups.com
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. 

Suckow, Thomas J

unread,
Jul 13, 2015, 8:31:20 PM7/13/15
to jenkins...@googlegroups.com
I am guessing this is what is bothering you:

#buildHistory .desc {
  opacity: 0.6;
}

I don't have a preference either way. If you wanted to rebuild the war file, you would just have to find and remove the opacity line. 

--
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-use...@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.
For more options, visit https://groups.google.com/d/optout.

Tony Wallace

unread,
Jul 14, 2015, 12:48:28 AM7/14/15
to jenkins...@googlegroups.com
Yes, that did it. Thank you!  

Christopher Orr

unread,
Jul 19, 2015, 7:04:17 PM7/19/15
to jenkins...@googlegroups.com
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
> --
> 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-use...@googlegroups.com
> <mailto:jenkinsci-use...@googlegroups.com>.
> <https://groups.google.com/d/msgid/jenkinsci-users/c22a14ff-6772-44ed-819d-55fc3ece618a%40googlegroups.com?utm_medium=email&utm_source=footer>.
Reply all
Reply to author
Forward
0 new messages