button padding

2023-04-09 02:44:58 +02:00 · 2023-04-09 02:44:58 +02:00 · a09777bdc4
commit a09777bdc4
parent 32423db827
1 changed files with 3 additions and 0 deletions
--- a/results.xsl
+++ b/results.xsl
@ -20,6 +20,9 @@
 }
 .main.container {
    margin-top: 5em;
+}
+.ui.mini.button {
+    padding: 1em;
 }
        </style>
    </head>