The Spolsky theme for the Yi Editor