make command text smaller and round corners

osu-Norge · Feb 22, 2023 · d2cb17e · d2cb17e
1 parent 854764a
commit d2cb17e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/verification_server/static/base.css b/src/verification_server/static/base.css
@@ -24,8 +24,8 @@ p {
 }
 .command {
   font-family: monospace;
-  font-size: 1.5rem;
   background: black;
   color: white;
   padding: 0.5rem;
+  border-radius: 10px;
 }