From cea206c5c767ddf430c93b02edf141c4fb4e0351 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 21 Sep 2019 22:24:13 +0100
Subject: [PATCH] Animated font size change

---
 lib/settings-screen.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index 1721143..5466389 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -15,7 +15,7 @@ $t = $text['settings-screen'];
 <script src="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/lib/codemirror-compressed.js?microtime=<?php echo microtime(true);?>"></script>
 
 <style type="text/css">
-.CodeMirror {position: absolute; width: 409px; height: 180px; font-size: <?php echo $ICEcoder["fontSize"];?>}
+.CodeMirror {position: absolute; width: 409px; height: 180px; font-size: <?php echo $ICEcoder["fontSize"];?>; transition: font-size 0.25s ease}
 .CodeMirror-scroll {overflow: hidden}
 /* Make sure this next one remains the 3rd item, updated with JS */
 .cm-tab {border-left-width: <?php echo $ICEcoder["visibleTabs"] ? "1px" : "0";?>; margin-left: <?php echo $ICEcoder["visibleTabs"] ? "-1px" : "0";?>; border-left-style: solid; border-left-color: rgba(255,255,255,0.2)}