Add theme, add advice for AUCTeX compilation window