From 512c0cc7123d41113ba1c0d3dc2fa67d724076b1 Mon Sep 17 00:00:00 2001
From: Norbert Renner <norbert.renner@gmx.de>
Date: Thu, 26 Apr 2018 19:02:39 +0200
Subject: [PATCH] Fix profile layout overflow to content height in Firefox,
 fixes #118

---
 css/style.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/css/style.css b/css/style.css
index a14d602..2de8e85 100644
--- a/css/style.css
+++ b/css/style.css
@@ -365,7 +365,11 @@ table.dataTable.display tbody tr.even:hover {
  */
 
 .CodeMirror {
-    height: 100%;
+    /* auto instead of 1 to avoid overflow to content height in Firefox */
+    flex: auto;
+    /* override default 300px, behaves like min-height with flex auto */
+    height: 0;
+    
     border: 1px solid #ddd;
     
     font-family: Menlo, Consolas, Monaco, Liberation Mono, Lucida Console, monospace;