GitHub Flavored Markdown editor with PDF export: https://github.com/srpeck/markdowned

The editor happens to fit in an HTML file <9k (excluding the behemoth browser...:).