punch clocks: fix up center-dotted zeros in at least some fonts
authorPaul Davis <paul@linuxaudiosystems.com>
Sun, 11 Nov 2012 15:19:00 +0000 (15:19 +0000)
committerPaul Davis <paul@linuxaudiosystems.com>
Sun, 11 Nov 2012 15:19:00 +0000 (15:19 +0000)
git-svn-id: svn://localhost/ardour2/branches/3.0@13431 d708f5d6-7413-0410-9779-e7cbd77b26cf

gtk2_ardour/ardour3_fonts.rc.in

index ab1129a1f65920d04a0d2a00f5cf740f992012fd..d84fbb4e01ea4405cd51380c356e8edeb0ad1c8b 100644 (file)
@@ -15,7 +15,7 @@ style "small_text"
 
 style "small_mono_text"
 {
-       font_name = "monospace @FONT_SMALL@"
+       font_name = "bold monospace @FONT_SMALL@"
 }
 
 style "small_italic_text"
@@ -72,7 +72,7 @@ style "massive_text"
 
 style "monospace massive_text"
 {
-       font_name = "bold monospace @FONT_MASSIVE@"
+       font_name = "bold monospace @FONT_MASSIVE@"
 }
 
 style "larger_bold_text"