Looked good, but the css changes would not take, despite clearing of cache. After the uninstall, the line numbering is now gone in WordPress theme editor. What the heck? Also, the editor went from a fixed height with scroll bar, to suddenly having to click and drag it's height. Mind you, this is after the uninstall.
UPDATE: I found what the problem was, syntax highlighting was disabled in Wordpress after installing this plugin. Did not know there was an option to able/ disable. Since there is no option to delete this review, 3 stars for neutral, neither good nor bad. Dismiss follow-up comment please.