From 47c0f9e85cf3cdc6dbea42c3a020f95164347b6f Mon Sep 17 00:00:00 2001 From: william Date: Wed, 23 Sep 2026 10:03:03 +0200 Subject: [PATCH] =?UTF-8?q?Barre=20de=20d=C3=A9filement=20fine=20et=20disc?= =?UTF-8?q?r=C3=A8te=20pour=20la=20liste=20de=20pages?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit scrollbar-width:thin/scrollbar-color (Firefox/Chromium récents) + ::-webkit-scrollbar (WebKit/Blink plus anciens) sur .docPageManagerList au lieu de la barre large par défaut du navigateur. Co-Authored-By: Claude Sonnet 5 --- static/document/document-editor.css | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/static/document/document-editor.css b/static/document/document-editor.css index e1e1934a..b0f1e92c 100644 --- a/static/document/document-editor.css +++ b/static/document/document-editor.css @@ -1235,6 +1235,30 @@ img.docImage { flex: 1; min-height: 0; overflow-y: auto; + + /* Barre de défilement fine et discrète (retour utilisateur du + 23/09/2026) — Firefox/Chromium récents (scrollbar-width/-color) ET + WebKit/Blink plus anciens (::-webkit-scrollbar) pour une couverture + large, jamais la barre large par défaut du navigateur. */ + scrollbar-width: thin; + scrollbar-color: var(--doc-border) transparent; +} + +.docPageManagerList::-webkit-scrollbar { + width: 6px; +} + +.docPageManagerList::-webkit-scrollbar-track { + background: transparent; +} + +.docPageManagerList::-webkit-scrollbar-thumb { + background: var(--doc-border); + border-radius: 3px; +} + +.docPageManagerList::-webkit-scrollbar-thumb:hover { + background: var(--doc-muted); } .docPageRow {