Fix editor height
Committed 6537fa
--- a/webint_editor/templates/draft.html
+++ b/webint_editor/templates/draft.html
$# font-size: 1.5em;
$# height: 1.2em; }
#content {
- height: 35em; }
+ min-height: 35em; }
</style>
<script type=module>