0.7.0

Fixes in this version:

• File tree would jump around on opening or closing folders – fixed
• Text selection on the last line of a document was impossible due to inappropriate margin spacing in the theme – thanks to @zinzy for the fix
• Certain mermaid diagram node texts were not visible in the light scheme (issue #3) – fixed