Small improvements to branch labels

[DominikRusso]

Status Quo

Give branch labels an outline

Without an outline the contrast between the background and the label is much too low,
and IMO it looks much cleaner with an outline.

Outline instead of a border, because outlines don't take up space in the element.

Reduce branch label padding

With only 70 pixels allocated for the label, using 14 pixels for padding is a bit much.

Increase branch label height

Previously characters that went below the baseline were clipped.

Remove explicit use of the any type

Type system changes only.

---

Testing done

• Tested in darkmode.
  

• Tested with "Show pipeline graph on build page" (/jenkins/manage/appearance/) on.
  

Submitter checklist

Edit tasklist title

Beta Give feedback Tasklist Submitter checklist, more options

• Rename
• Copy markdown
• Delete tasklist

Delete tasklist

Delete tasklist block?

Are you sure? All relationships in this tasklist will be removed.

Cancel Delete

1. Make sure you are opening from a **topic/feature/bugfix branch** (right side) and not your main branch!

   Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove
2. Ensure that the pull request title represents the desired changelog entry

   Ensure that the pull request title represents the desired changelog entry
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove
3. Please describe what you did

   Please describe what you did
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove
4. Link to relevant issues in GitHub or Jira

   Link to relevant issues in GitHub or Jira
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove
5. Link to relevant pull requests, esp. upstream and downstream changes

   Link to relevant pull requests, esp. upstream and downstream changes
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove
6. Ensure you have provided tests - that demonstrates feature works or fixes the issue

   Ensure you have provided tests - that demonstrates feature works or fixes the issue
   Options

   • Convert to issue
   • Toggle completion
   • Rename
   • Remove

Add item to Submitter checklist

[timja]

thanks!

[lemeurherve]

Thanks @DominikRusso, looks much nicer!