![]() ## 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> |
||
---|---|---|
.. | ||
css | ||
fomantic | ||
js | ||
svg |