From 2d28a7520d6c6813eb3257ffc57aab2a0a9ae8ba Mon Sep 17 00:00:00 2001 From: narcolepticinsomniac Date: Sat, 13 Oct 2018 18:06:54 -0400 Subject: [PATCH] Remove usercss white styling --- edit/applies-to-line-widget.js | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/edit/applies-to-line-widget.js b/edit/applies-to-line-widget.js index fe995be7..a031fbd7 100644 --- a/edit/applies-to-line-widget.js +++ b/edit/applies-to-line-widget.js @@ -246,32 +246,6 @@ 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() {