remove TINY font size (unused) and tweak monitor section labels up in size

git-svn-id: svn://localhost/ardour2/branches/3.0@13638 d708f5d6-7413-0410-9779-e7cbd77b26cf

gtk2_ardour/ardour3_fonts.rc.in

@@ -1,8 +1,3 @@
-style "smallest_text"
-{
-	font_name = "@FONT_TINY@"
-}
-
 style "very_small_text"
 {
  	font_name = "@FONT_SMALLER@"

gtk2_ardour/ardour3_widget_list.rc

@@ -360,7 +360,7 @@ widget "*monitor" style:highest "monitor"
 widget "*processor prefader" style:highest "processor"
 widget "*processor fader" style:highest "processor"
 widget "*processor postfader" style:highest "processor"
-widget "*MonitorSectionLabel" style:highest "very_small_text"
+widget "*MonitorSectionLabel" style:highest "small_text"
 widget "*mute button" style:highest "monitor"
 widget "*invert button" style:highest "monitor"
 widget "*send alert button" style:highest "small_text"

gtk2_ardour/wscript

@@ -502,7 +502,6 @@ def build(bld):
     if bld.is_defined('GTKOSX'): # OS X fonts
         basefont = ""
         font_sizes = {
-                'TINY' : '7',
                 'SMALLER' : '9',
                 'SMALL' : '10',
                 'NORMAL' : '11',
@@ -517,7 +516,6 @@ def build(bld):
     else: # Linux/X11 fonts
         basefont = '' # unspecified - use system defaults
         font_sizes = {
-                'TINY' : '6',
                 'SMALLER' : '8',
                 'SMALL' : '9',
                 'NORMAL' : '10',