diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt old mode 100644 new mode 100755 index f89697b6b..54f43fc09 --- a/build/shared/lib/theme.txt +++ b/build/shared/lib/theme.txt @@ -38,7 +38,7 @@ buttons.status.color = #ffffff #mode.button.bgcolor = #9ca6b0 #mode.button.font = SansSerif,plain,9 #mode.button.font.macosx = Helvetica,plain,9 -mode.button.font = Monospaced,plain,10 +mode.button.font = Monospaced,plain,11 mode.button.font.macosx = Monaco,plain,10 #mode.button.color = #4a545e #mode.button.color = #9ca6b0