From e19340332a30f008a213f5fa6b9479761bf4401e Mon Sep 17 00:00:00 2001 From: "tao.chen" <93983997+taochen-ct@users.noreply.github.com> Date: Mon, 3 Aug 2026 19:51:24 +0800 Subject: [PATCH] update: hide top-panel --- runtime/Dockerfile | 4 +++- runtime/overrides.json | 5 ----- 2 files changed, 3 insertions(+), 6 deletions(-) delete mode 100644 runtime/overrides.json diff --git a/runtime/Dockerfile b/runtime/Dockerfile index 3ab9720..b2df1d7 100644 --- a/runtime/Dockerfile +++ b/runtime/Dockerfile @@ -37,7 +37,9 @@ COPY common ./common COPY runtime ./runtime RUN UV_DEFAULT_INDEX="https://pypi.tuna.tsinghua.edu.cn/simple/" uv sync --frozen --no-dev --no-editable --package runtime -COPY overrides.json /app/.venv/share/jupyter/lab/settings/overrides.json +RUN mkdir -p /root/.jupyter/custom /app/.venv/share/jupyter/custom +RUN echo '#top-panel { display: none !important; height: 0 !important; }' > /root/.jupyter/custom/custom.css && \ + cp /root/.jupyter/custom/custom.css /app/.venv/share/jupyter/custom/custom.css EXPOSE 8000 CMD ["uv", "run", "--frozen", "--package", "runtime", "gunicorn", "--config", "runtime/gunicorn.conf.py", "runtime.main:app"] diff --git a/runtime/overrides.json b/runtime/overrides.json deleted file mode 100644 index 30bbed3..0000000 --- a/runtime/overrides.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "@jupyterlab/apputils-extension:themes": { - "rawOverrides": "#top-panel { display: none !important; height: 0 !important; }" - } -} \ No newline at end of file