From 31e99f3137298e16c7d9e83a67b48bd222556e55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E3=83=AA=E3=82=AD=E8=90=8C?= <commits@liquidev.net>
Date: Mon, 1 Sep 2025 21:14:06 +0200
Subject: [PATCH] fix <button> style affecting buttons across the whole website

now the push-button style is opt-in, in case you need it
---
 content/netcanv.dj  | 16 ++++++++--------
 static/css/main.css |  4 ++--
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/content/netcanv.dj b/content/netcanv.dj
index 6496205..d67cece 100644
--- a/content/netcanv.dj
+++ b/content/netcanv.dj
@@ -309,21 +309,21 @@ Here is an interactive visualisation of how the immediate-mode layout system wor
     <div class="controls">
         <p>Stack</p>
         <div class="category">
-            <button name="push-h">Push Horizontal</button>
-            <button name="push-v">Push Vertical</button>
-            <button name="pop">Pop</button>
+            <button class="push" name="push-h">Push Horizontal</button>
+            <button class="push" name="push-v">Push Vertical</button>
+            <button class="push" name="pop">Pop</button>
             <hr>
-            <button name="reset">Reset</button>
+            <button class="push" name="reset">Reset</button>
         </div>
         <p>Rectangle</p>
         <div class="category">
-            <button name="space">Space</button>
-            <button name="pad">Pad</button>
-            <button name="fit">Fit</button>
+            <button class="push" name="space">Space</button>
+            <button class="push" name="pad">Pad</button>
+            <button class="push" name="fit">Fit</button>
         </div>
         <p>Drawing</p>
         <div class="category">
-            <button name="fill">Fill</button>
+            <button class="push" name="fill">Fill</button>
         </div>
     </div>
 
diff --git a/static/css/main.css b/static/css/main.css
index 0c12315..4e77930 100644
--- a/static/css/main.css
+++ b/static/css/main.css
@@ -415,9 +415,9 @@ hr {
     margin-bottom: 2em;
 }
 
-/* Buttons */
+/* Push buttons */
 
-button {
+button.push {
     padding: 0.2rem 1.2rem;
 
     border: 1px solid var(--border-2);