From 113bc3b38ec01f742752f4be8ddf1c24630ccd2d Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Sun, 21 Dec 2014 11:55:03 -0500
Subject: [PATCH] reduce all default font sizes on Linux by 80%

If you use font scaling of 80% you may wish to reset it to 100% to get almost the exact same font sizes as previously. Normal size is now 8pt,
rather then 10pt as before
---
 gtk2_ardour/wscript | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript
index 390ebfbba6..4cfcde79ef 100644
--- a/gtk2_ardour/wscript
+++ b/gtk2_ardour/wscript
@@ -563,15 +563,15 @@ def build(bld):
     else: # Linux/X11 fonts
         basefont = '' # unspecified - use system defaults
         font_sizes = {
-                'SMALLER' : '8',
-                'SMALL' : '9',
-                'NORMAL' : '10',
-                'BIG' : '14',
-                'BIGGER' : '17',
-                'LARGE' : '18',
-                'LARGER' : '24',
-                'HUGER' : '34',
-                'MASSIVE' : '60',
+                'SMALLER' : '6',
+                'SMALL' : '7',
+                'NORMAL' : '8',
+                'BIG' : '11',
+                'BIGGER' : '13.5',
+                'LARGE' : '14.5',
+                'LARGER' : '19',
+                'HUGER' : '27',
+                'MASSIVE' : '48',
         }
         font_names = {
                 'MONOSPACE' : 'ArdourMono',