shrink font by a pixel to make the button bitmaps line up nice

diff --git a/themes/Light-Industry/themerc b/themes/Light-Industry/themerc
index 769dd3d29d494937c9587c4e81c7fe52a0938fa9..f0095e7610c4d80d5111fe6607ef2343a938bb8e 100644 (file)
--- a/themes/Light-Industry/themerc
+++ b/themes/Light-Industry/themerc
@@ -116,8 +116,8 @@ borderColor: #091d2e
 
 !! font me!
 !window.title.font: Borzoi:pixelsize=11
-window.focus.font: Bitstream Vera Sans:bold:pixelsize=10:shadow=y:shadowoffset=1:shadowtint=75
-window.unfocus.font: Bitstream Vera Sans:bold:pixelsize=10
+window.focus.font: Bitstream Vera Sans:bold:pixelsize=9:shadow=y:shadowoffset=1:shadowtint=75
+window.unfocus.font: Bitstream Vera Sans:bold:pixelsize=9
 menu.frame.font: National First Font:pixelsize=15
 !menu.title.font: Bitstream Vera Sans:bold:pixelsize=9:shadow=y:shadowtint=75
 menu.title.font: Bitstream Vera Sans:bold:pixelsize=10