I made a lot of progress on my JS-based source editor :-) And to prove it, here's a short video of Diavolo working on a CSS stylesheet (avi)... I have still a few issues to fix though (yes, a line went away, I know), and multiliner handling remains on the TODO list.