responsive style

j-o-e-d-o-e · Feb 28, 2024 · 4ec93c0 · 4ec93c0
1 parent a040896
commit 4ec93c0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/docs/css/my-style.css b/docs/css/my-style.css
@@ -262,16 +262,16 @@ ul > li::before {
   }
 
   button {
-    font-size: medium;
+    padding: 1% 2% 1% 2%;
   }
 
   #btn-launch, #btn-restart {
     margin-top: 0;
   }
 
   #howto {
-    padding-top: 10px;
-    padding-bottom: 10px;
+    padding-top: 15px;
+    padding-bottom: 5px;
     font-size: .4em;
   }
 

diff --git a/v2/css/my-style.css b/v2/css/my-style.css
@@ -262,16 +262,16 @@ ul > li::before {
   }
 
   button {
-    font-size: medium;
+    padding: 1% 2% 1% 2%;
   }
 
   #btn-launch, #btn-restart {
     margin-top: 0;
   }
 
   #howto {
-    padding-top: 10px;
-    padding-bottom: 10px;
+    padding-top: 15px;
+    padding-bottom: 5px;
     font-size: .4em;
   }