Hi,
I made a custom theme for Jenkins entirely in CSS and JS:
https://github.com/kevinburke/doony. It is not cross-browser compatible,
and almost certainly contains bugs, but it works for my use case and I am
pretty happy with it at the moment.
Implementing accurate CSS selectors and doing DOM traversal in JS was
pretty difficult because many times the Jenkins UI does not contain unique
selectors or classes for elements.
For example, the "Console Output" is a raw <pre> tag embedded in a <table>.
Styling it requires CSS like so:
#main-panel > pre {
Sadly this will apply to any <pre> elements nested directly under the
#main-panel ID; there's no way to get more specific to the console output.
*I'd like to add ID's and classes to some common HTML elements in Jenkins.* For
example, the Console Output HTML would change from:
<td id="main-panel" width="80%" height="100%">
<pre>
Started by user ...
</pre>
</td>
To:
<td id="main-panel" width="80%" height="100%">
<pre id="console-output">
Started by user ...
</pre>
</td>
What do you think? If it sounds good I will make the change and submit a
pull request.
Best,
Kevin
--
You received this message because you are subscribed to the Google Groups
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
