From cb785590bc75c44f18c399b8f42390ba7d324a3d Mon Sep 17 00:00:00 2001
From: Sebastian Castro <sebastian.castro@protonmail.com>
Date: Tue, 21 Apr 2020 15:33:53 +0200
Subject: [PATCH] css: some fix for browser compatibility refs #3907 (#3913)

---
 src/static/css/pad/chat.css              | 2 +-
 src/static/css/pad/layout.css            | 5 +++--
 src/static/skins/colibris/src/layout.css | 4 ++--
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/static/css/pad/chat.css b/src/static/css/pad/chat.css
index 8d1aa1f92..39df3ce30 100644
--- a/src/static/css/pad/chat.css
+++ b/src/static/css/pad/chat.css
@@ -39,7 +39,7 @@
   position: relative;
   width: auto;
   flex: 1 auto; /* take reminaning vertical space */
-  height: auto;
+  height: 100%;
   right: 0;
   display: flex;
 }
diff --git a/src/static/css/pad/layout.css b/src/static/css/pad/layout.css
index f717443a4..1bd7e8871 100644
--- a/src/static/css/pad/layout.css
+++ b/src/static/css/pad/layout.css
@@ -1,6 +1,7 @@
 html, body {
   width: 100%;
   height: 100%;
+  overflow: hidden;
   margin: 0;
   padding: 0;
 }
@@ -23,12 +24,12 @@ body {
 }
 #editorcontainerbox #editorcontainer {
   display: flex; /* transfer flex properties to nested elements, here the iframe */
-  height: 100%;
+  height: auto;
   flex: 1 auto;
 }
 #editorcontainerbox #editorcontainer iframe {
   width: 100%;
-  height: 100%;
+  height: auto;
 }
 #editorcontainerbox .sticky-container { /* container for #users, #chat, #toc (table of content) and so on... */
   display: flex;
diff --git a/src/static/skins/colibris/src/layout.css b/src/static/skins/colibris/src/layout.css
index 8ec00627e..a6dd784d7 100644
--- a/src/static/skins/colibris/src/layout.css
+++ b/src/static/skins/colibris/src/layout.css
@@ -5,7 +5,7 @@
 }
 
 #editorcontainerbox {
-  background-color: #ffffff;
+  background-color: #f2f3f4;
   background-color: var(--bg-color);
 }
 
@@ -26,7 +26,7 @@
   padding-bottom: var(--editor-vertical-padding);
   box-shadow: none;
   border: 0;
-  border-radius: 8px;
+  border-radius: 8px 8px 0 0;
   background-color: #ffffff;
   background-color: var(--bg-color);
   color: #485365;