From 798efa43a8c23a509d228d34946b1fbfd0852916 Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Wed, 15 Nov 2023 11:04:36 +0100
Subject: [PATCH] tweak font size

---
 player/player.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/player/player.py b/player/player.py
index a934e81..4a4660f 100755
--- a/player/player.py
+++ b/player/player.py
@@ -19,9 +19,9 @@ SYNC_JUMP_AHEAD = 1
 PORT = 9067
 DEBUG = False
 FONT = 'Menlo'
-FONT_SIZE = 36
-FONT_BORDER = 5
-SUB_MARGIN = 2 * FONT_SIZE + 6
+FONT_SIZE = 32
+FONT_BORDER = 4
+SUB_MARGIN = 2 * 36 + 6
 
 
 def mpv_log(loglevel, component, message):