Various fixes
Document lua, fix small theme bugs
Theming refactor Theming has been broken off into a seperate space, so that it'll be easier to add lua support later.