My configuration and theme for the Awesome window manager