Update odersky-theme.el