[fretlessjazz]

Possibly, but Google Docs doesn't write in HTML anymore. Advanced positioning and stuff like tab stops don't translate easily into CSS, so even if they _did_ open source the editor, the final HTML will look different than what it did in the editor.

Example: create a document with two lines of tab-stopped text with varying lengths, and then export to HTML.