diff --git a/edit/applies-to-line-widget.js b/edit/applies-to-line-widget.js index a031fbd7..fe995be7 100644 --- a/edit/applies-to-line-widget.js +++ b/edit/applies-to-line-widget.js @@ -246,6 +246,32 @@ function createAppliesToLineWidget(cm) { const border = fore.replace(/[\d.]+(?=\))/, MIN_LUMA_DIFF / 2); const borderStyleForced = `1px ${hasBorder ? color.gutter.style.borderRightStyle : 'solid'} ${border}`; + + actualStyle.textContent = ` + .applies-to { + background-color: ${color.gutter.bg}; + border-top: ${borderStyleForced}; + border-bottom: ${borderStyleForced}; + } + .applies-to label { + color: ${fore}; + } + .applies-to input, + .applies-to button, + .applies-to select { + background: rgba(255, 255, 255, ${ + Math.max(MIN_LUMA, Math.pow(Math.max(0, color.gutter.bgLuma - MIN_LUMA * 2), 2)).toFixed(2) + }); + border: ${borderStyleForced}; + transition: none; + color: ${fore}; + } + .applies-to .svg-icon.select-arrow { + fill: ${fore}; + transition: none; + } + `; + document.documentElement.appendChild(actualStyle); } function doUpdate() {