mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2025-05-17 23:42:52 +00:00
ui: update styling of comment headers and role labels (#6816)
## Changes * same as https://codeberg.org/forgejo/forgejo/pulls/6201, but for role labels * remove border * decrease paddings * all by simply removing `basic` * I did check that no important properties were added by that class * make the header itself more compact by decreasing paddings here too * it's really large currently - being as high as single line content * removed "review" label by @fnetX request There was no heavy consideration behind these changes. I was just poking around the area from time to time and finally decided to submit something. If you think there's more consideration needed, please tell! ## Preview   Reviewed-on: https://codeberg.org/forgejo/forgejo/pulls/6816 Reviewed-by: Beowulf <beowulf@beocode.eu> Reviewed-by: Otto <otto@codeberg.org> Co-authored-by: 0ko <0ko@noreply.codeberg.org> Co-committed-by: 0ko <0ko@noreply.codeberg.org>
This commit is contained in:
parent
1f24f35fe9
commit
5961db5aa7
8 changed files with 11 additions and 17 deletions
|
@ -2248,7 +2248,7 @@ details.repo-search-result summary::marker {
|
|||
}
|
||||
|
||||
.timeline .ui.comment-header {
|
||||
padding: 0.5rem 1rem;
|
||||
padding: 0.25rem 0.75rem;
|
||||
}
|
||||
|
||||
.comment-header::before,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue