This makes it a little neater.
Finally adding theme support for Elm_Code_Widget. Fairly self-explanatory. Settings-> Display -> Choose theme. Work from both myself and Andy Williams on this one. A good one!