[IMP] playground: add some padding in error window

closes #134
2025-10-06 19:59:41 +07:00 · 2019-05-29 16:13:29 +02:00
parent 4d72a4f240
commit e9ba94ae55
1 changed files with 2 additions and 0 deletions
@@ -185,4 +185,6 @@ body {
  font-size: 30px;
  color: darkred;
  text-align: center;
+  padding-left: 30px;
+  padding-right: 30px;
 }