diff options
| author | Brecht Van Lommel <brecht@blender.org> | 2023-03-13 01:46:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-13 08:46:13 +0800 |
| commit | a8e13e64da7f9dc6176365e6b9295981af5d81ea (patch) | |
| tree | e087e6eb51ca0afd5c46ec257ddf7cfcf0661214 /web_src/less/_repository.less | |
| parent | 43c136200a181858cf36a0a876cb6609aa804120 (diff) | |
| download | gitea-a8e13e64da7f9dc6176365e6b9295981af5d81ea.tar.gz gitea-a8e13e64da7f9dc6176365e6b9295981af5d81ea.zip | |
Scoped label display and documentation tweaks (#23430)
* Fix scoped label left and right part breaking across lines.
* Remove slanted divider in scoped label display, make it straight.
After using this for a while, this feels more visually noisy than
helpful.
* Reduce contrast between scope and item to reduce probability of
unreadable text on background.
* Change documentation to remove mention of non-exclusive scoped labels.
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Diffstat (limited to 'web_src/less/_repository.less')
| -rw-r--r-- | web_src/less/_repository.less | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less index 2c47135a24..0069a31cec 100644 --- a/web_src/less/_repository.less +++ b/web_src/less/_repository.less @@ -2838,11 +2838,11 @@ .labels-list .label { margin: 2px 0; - display: inline-block !important; + display: inline-flex !important; line-height: 1.3em; // there is a `font-size: 1.25em` for inside emoji, so here the line-height needs to be larger slightly } -// Scoped labels with different colors on left and right, and slanted divider in the middle +// Scoped labels with different colors on left and right .scope-parent { background: none !important; padding: 0 !important; @@ -2851,23 +2851,12 @@ .ui.label.scope-left { border-bottom-right-radius: 0; border-top-right-radius: 0; - padding-right: 0; - margin-right: 0; -} - -.ui.label.scope-middle { - width: 12px; - border-radius: 0; - padding-left: 0; - padding-right: 0; - margin-left: 0; margin-right: 0; } .ui.label.scope-right { border-bottom-left-radius: 0; border-top-left-radius: 0; - padding-left: 0; margin-left: 0; } |