diff --git a/web/pdf_page_view.js b/web/pdf_page_view.js index eeeb38640..965fc29ab 100644 --- a/web/pdf_page_view.js +++ b/web/pdf_page_view.js @@ -1071,6 +1071,9 @@ class PDFPageView extends BasePDFPageView { }, abortSignal: this.#abortSignal, }); + if (this.enableSelectionRendering) { + this.textLayer.div.classList.add("selectionRendering"); + } } if ( diff --git a/web/text_layer_builder.css b/web/text_layer_builder.css index a78b19984..616e8e00f 100644 --- a/web/text_layer_builder.css +++ b/web/text_layer_builder.css @@ -118,7 +118,18 @@ } ::selection { - background: transparent; + /* stylelint-disable declaration-block-no-duplicate-properties */ + /*#if !MOZCENTRAL*/ + background: rgba(0 0 255 / 0.25); + /*#endif*/ + /* stylelint-enable declaration-block-no-duplicate-properties */ + background: color-mix(in srgb, AccentColor, transparent 50%); + } + + &.selectionRendering { + ::selection { + background: transparent; + } } /* Avoids https://github.com/mozilla/pdf.js/issues/13840 in Chrome */