From c058378da08c4fcfddddafefe0866afae20ae861 Mon Sep 17 00:00:00 2001
From: BurningTreeC <hypnotizedkangaroo@gmail.com>
Date: Sun, 2 Dec 2018 09:40:11 +0100
Subject: [PATCH] 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 | 1 -
 themes/tiddlywiki/vanilla/base.tid    | 5 ++++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/core/modules/editor/engines/framed.js b/core/modules/editor/engines/framed.js
index e5aaa4a1e..347de034d 100644
--- a/core/modules/editor/engines/framed.js
+++ b/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");
diff --git a/themes/tiddlywiki/vanilla/base.tid b/themes/tiddlywiki/vanilla/base.tid
index 6e2ca1b3d..c71db56b3 100644
--- a/themes/tiddlywiki/vanilla/base.tid
+++ b/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:"""