use spolsky theme