Barre de défilement fine et discrète pour la liste de pages

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 <noreply@anthropic.com>

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 {