Basic TeXEditor for Firefox OS