Changes in theme and colors; improvements in auto completion.