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
This commit is contained in:
Paul Davis 2014-12-21 11:55:03 -05:00
parent fa72223268
commit 113bc3b38e

View file

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