Add a margin around the warning

so the border doesn't touch the border of the main panel.
alanhkarp · Oct 23, 2023 · 68c5f55 · 68c5f55
1 parent bfe2af3
commit 68c5f55
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/ssp.css b/src/ssp.css
@@ -48,6 +48,7 @@ body {
   font-size: 12pt;
 }
 .warning {
+  margin: 5px;
   padding : 1ex;
   border : 4pt solid red;
   background-color : white;