public/css/override: More compact UI buttons

Use heavier font weight

public/css/override.css

@@ -64,6 +64,7 @@ a, .ui.breadcrumb a { color: #0366d6; }
 .ui.tabular.menu .active.item { border-top-width: 2px; font-weight: 400; }
 .ui.attached.header { background: #f9fafb; }
 .ui.attached.header .right { margin-top: 0; }
+.ui.compact.button, .ui.compact.buttons .button { padding: 0.5rem 1rem; font-weight: 700; }
 
 .repo-title .divider { margin: 0; }
 .repo-topics, .ui.repo-description { display: none !important; }