awesome: change font size

config/awesome/theme.lua

@@ -11,7 +11,7 @@ local themes_path = gfs.get_themes_dir()
 
 local theme = {}
 
-theme.font = "sans 10"
+theme.font = "sans 9"
 
 theme.bg_normal = "#222222"
 theme.bg_focus = "#535d6c"

config/awesome/widgets/battery.lua

@@ -7,7 +7,7 @@ local gears = require "gears"
 local wibox = require "wibox"
 
 local text = wibox.widget {
-  font = "sans 10",
+  font = "sans 9",
   widget = wibox.widget.textbox,
 }