From f5cf7bb1f2176d8afe8932a4da374dad14348824 Mon Sep 17 00:00:00 2001 From: j433866 Date: Mon, 3 Jun 2019 15:37:14 +0100 Subject: [PATCH] Rename 'move output to input' to 'replace input with output' Shrink close tab buttons --- src/web/html/index.html | 2 +- src/web/stylesheets/layout/_io.css | 11 +++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/src/web/html/index.html b/src/web/html/index.html index a262356b..5d8b7df5 100755 --- a/src/web/html/index.html +++ b/src/web/html/index.html @@ -298,7 +298,7 @@ -