fix styling issues - SemanticDiff

Commit

6 years ago

fix styling issues - grow/shrink between min and max height correctly - don't grow wider than available space - some space between editor and buttons