Run portal as Docker Space

Serve portal directly on Docker runtime

Create Dockerfile

Bind Space server to port 7860

Restore Gradio proxy endpoints

Serve portal without Gradio frontend

Disable Gradio SSR

Run portal script from HTML body

Use Gradio 5 SDK

Pin Gradio 5.50

Downgrade Gradio runtime

Fix Gradio launch config

Update app.py

Upload app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Update app.py

Portal: PDF new-tab viewer, persistent links panel, RTL drive

Portal: render לינקים.md in gr.Markdown, hide README, filter readme from file list

Update README.md

Serve logo + favicons via absolute HF URLs and add Hebrew Space card metadata

Fix Space OG metadata and logo asset URLs

Quote short_description in Space metadata

Fix Space metadata constraints

Update Space README metadata

Upload folder using huggingface_hub