Style tweaks for framed editor + preview (#3608)

* remove border: none for iframe from framed.js

... inherits the iframe border 1px solid editor-border in vanilla base

* last style tweaks for editor-preview

same border-radius as framed editor

same additional space at the right as at the left

* Update base.tid

* Update base.tid

* looks actually better with this border

core/modules/editor/engines/framed.js

@@ -40,7 +40,6 @@ function FramedEngine(options) {
 	// Style the iframe
 	this.iframeNode.className = this.dummyTextArea.className;
 	this.iframeNode.style["border-radius"] = "2px";
-	this.iframeNode.style.border = "none";
 	this.iframeNode.style.padding = "0";
 	this.iframeNode.style.resize = "none";
 	this.iframeNode.style["background-color"] = this.widget.wiki.extractTiddlerDataItem(this.widget.wiki.getTiddlerText("$:/palette"),"background");

themes/tiddlywiki/vanilla/base.tid

@@ -1275,15 +1275,18 @@ html body.tc-body.tc-single-tiddler-window {
 .tc-tiddler-preview {
 	overflow: auto;
 	margin-left: -0.3em;
+	margin-right: -0.3em;
 	padding-left: 0.3em;
+	padding-right: 0.3em;
 }
 
 .tc-tiddler-preview-preview {
 	float: right;
 	width: 49%;
 	border: 1px solid <<colour tiddler-editor-border>>;
+	border-radius: 2px;
 	margin: 4px 0 3px 3px;
-	padding: 3px 3px 3px 3px;
+	padding: 3px 3px 3px 0.5em;
 }
 
 <<if-editor-height-fixed then:"""