light & dark: adjust ui.sha.label padding

2021-09-20 12:25:01 +02:00
parent 4dda0c4c5c
commit dc3419d8e4
2 changed files with 4 additions and 0 deletions
--- a/theme-github-dark.css
+++ b/theme-github-dark.css
@@ -141,3 +141,6 @@ a.ui.label {
 .ui.menu .item {
  color: #adbac7;
 }
+.ui .sha.label {
+  padding: 6px 10px 6px;
+}