A theme for Awesome Window Manager