From 0199ad0b9aa0b87875c7e2e3c63175d803fb64cd Mon Sep 17 00:00:00 2001
From: gonimoro <>
Date: Tue, 24 Sep 2024 15:05:03 +0200
Subject: [PATCH 1/2] Adding RTC extension

---
 single-user-eosc/Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/single-user-eosc/Dockerfile b/single-user-eosc/Dockerfile
index 1e58c5f..0b2aab2 100644
--- a/single-user-eosc/Dockerfile
+++ b/single-user-eosc/Dockerfile
@@ -24,7 +24,10 @@ RUN mamba install -y --quiet \
 	plotly \
 	graphviz \
 	jq \
-	nb_conda_kernels \
+	nb_conda_kernels \ 
+        # RTC extension, must be disabled
+        # before Lab starts to work without RTC 
+        jupyter-collaboration=2.1.2 \
         # resource usage info in GUI
         jupyter-resource-usage \
     && conda clean --all

From eb0d9b33cc74b62db9f8d3ac0bea14a72ef5a5a2 Mon Sep 17 00:00:00 2001
From: gonimoro <>
Date: Mon, 7 Oct 2024 12:06:37 +0200
Subject: [PATCH 2/2] Adding border-top CSS style

---
 single-user-eosc/eosc/custom.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/single-user-eosc/eosc/custom.css b/single-user-eosc/eosc/custom.css
index 1d5930d..fc6fab7 100644
--- a/single-user-eosc/eosc/custom.css
+++ b/single-user-eosc/eosc/custom.css
@@ -451,4 +451,11 @@ all of MD as it is not optimized for dense, information rich UIs.
   .lm-MenuBar-item {
     line-height: 20px !important;
   }
-  
\ No newline at end of file
+  
+/* Modified extracted style from JupyterLab menus.css
+https://github.com/jupyterlab/jupyterlab/blob/0546815cb2615a7460c59dbf0494ddc94a04e139/packages/application/style/menus.css
+to allow border-top appear in default view because otherwise it is present only in single-doc view. 
+*/
+.lm-MenuBar.lm-mod-active .lm-MenuBar-item.lm-mod-active {
+  border-top: var(--jp-border-width) solid var(--jp-border-color1) !important;
+}
\ No newline at end of file