raf(simple document format) to HTML converter