Minor adjustments to use codemotion2013 theme