您需要先安装一个扩展,例如 篡改猴、Greasemonkey 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 Userscripts ,之后才能安装此脚本。
您需要先安装一款用户脚本管理器扩展,例如 Tampermonkey,才能安装此脚本。
您需要先安装用户脚本管理器扩展后才能安装此脚本。
Reduces the thickness of the scroll bar. (Only Chrome)
// ==UserScript== // @name WME Mini ScrollBar // @name:fr WME Mini ScrollBar // @namespace https://greasyfork.org/fr/users/150543 // @version 0.0.1 // @description:fr Réduit l'épaisseur de la barre de défilement dans WME (Seulement sur Chrome) // @description Reduces the thickness of the scroll bar. (Only Chrome) // @include https://*.waze.com/*editor* // @include https://www.waze.com/editor* // @include https://www.waze.com/*/editor* // @include https://beta.waze.com/*/editor* // @include https://beta.waze.com/*/editor* // @exclude https://*.waze.com/user/* // @exclude https://*.waze.com/*/user/* // @run-at document-start // @compatible chrome // @grant none // ==/UserScript== (function() { 'use strict'; const scrollbarWidth = 8, thumbBorderWidth = 1, thumbBorderColor = "rgba(255, 255, 255, 0.4)", scrollbarMouseOverColor = 'rgba(128, 128, 128, 0.2)', thumbColor = 'rgba(0, 0, 0, 0.4)', thumbMouseOverColor = 'rgba(0, 0, 0, 0.8)'; let a = document.createElement('style'); a.textContent = ` <!-- ::-webkit-scrollbar{ width: ${scrollbarWidth}px !important; height: ${scrollbarWidth}px !important; background:transparent; filter: invert(); } ::-webkit-scrollbar:hover { background: ${scrollbarMouseOverColor}; } ::-webkit-scrollbar-thumb { border: ${thumbBorderWidth}px solid ${thumbBorderColor} !important; background-color: ${thumbColor} !important; z-index: 2147483647; -webkit-border-radius: 12px; background-clip: content-box; } ::-webkit-scrollbar-corner { background: rgba(255, 255, 255, 0.3); border: 1px solid transparent } ::-webkit-scrollbar-thumb:hover { background-color: ${thumbMouseOverColor} !important; } ::-webkit-scrollbar-thumb:active { background-color: rgba(0, 0, 0, 0.6) !important } --> `; let doc; if (location.origin === "file://") { doc = document.head || document.documentElement; } else { doc = document.body || document.documentElement; } doc.appendChild(a); })();