From f1f7404f2974f1eb889e97a19d20ef817a89042a Mon Sep 17 00:00:00 2001
From: Matthias Blankertz <matthias@blankertz.org>
Date: Tue, 6 Jun 2023 19:11:13 +0200
Subject: [PATCH] 3dprint: Change button font

---
 3dprint/buttons.scad | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/3dprint/buttons.scad b/3dprint/buttons.scad
index 63c8078..5424bcf 100644
--- a/3dprint/buttons.scad
+++ b/3dprint/buttons.scad
@@ -14,7 +14,7 @@ shaft_length = 5;
 
 print_spacing = 10;
 
-module button(label, width, height, size=4) {
+module button(label, width, height, size=3) {
     difference() {
         cube([width, height, button_thickness]);
         translate([0, 0, epsilon])
@@ -31,10 +31,10 @@ module button(label, width, height, size=4) {
         
 }
 
-module button_text(label, width, height, thickness, size=4) {
+module button_text(label, width, height, thickness, size=3) {
     translate([width/2, height/2, button_thickness-thickness])
         linear_extrude(thickness) 
-            text(label, font="Bitstream Vera Sans Mono:style=Bold", 
+            text(label, font="Orbitron:style=Black", 
                 halign="center", valign="center", size=size);
 }