This is a copy of the default awesome theme. I do my personal 
modifications here.
