Add a pretty GUADEC theme