From d6104c87f7faa21a5c871fb31a947f104d7e6281 Mon Sep 17 00:00:00 2001 From: narcolepticinsomniac Date: Sat, 13 Oct 2018 20:17:25 -0400 Subject: [PATCH] Revert gutting theme detection inline styling --- edit/applies-to-line-widget.js | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) 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() {