From bd0f460c56007e253d09569191c767a772a05820 Mon Sep 17 00:00:00 2001 From: tophf Date: Tue, 5 Dec 2017 20:41:08 +0300 Subject: [PATCH] usercss editor: use real theme color for inputs in widgets --- edit.html | 2 +- edit/applies-to-line-widget.js | 144 +++++++++++++++++++++++++-------- edit/codemirror-default.css | 4 - 3 files changed, 111 insertions(+), 39 deletions(-) diff --git a/edit.html b/edit.html index 7efc20ce..54b474e3 100644 --- a/edit.html +++ b/edit.html @@ -74,7 +74,7 @@