root
/
jenkins
mirror of https://github.com/jenkinsci/jenkins.git
1
0
Fork 0
Code Issues Actions 5 Packages Projects Releases Wiki Activity

[JENKINS-68960] Remove right margin from changelog link (#6808)

This commit is contained in:
Yen Cheng 2022-07-10 02:18:43 +08:00 committed by GitHub
parent 573b57b6ed
commit ab0bb84958
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
war/src/main/less/modules/page-header.less
View File

@ -58,7 +58,7 @@ a.page-header__brand-link {
/* stylelint-disable declaration-block-no-shorthand-property-overrides */ /* stylelint-disable declaration-block-no-shorthand-property-overrides */
padding-right: 0.5rem; padding-right: 0.5rem;
padding: 0.5rem; padding: 0.5rem;
margin-right: 0.25rem !important; margin-right: 0 !important;
font-weight: bold; font-weight: bold;
outline-color: var(--header-link-outline); outline-color: var(--header-link-outline);