From 6e1bc133f0d42cf70bb286160a239e39b7438ab5 Mon Sep 17 00:00:00 2001 From: eight04 Date: Fri, 10 Dec 2021 04:44:44 +0800 Subject: [PATCH] WIP: refactor editor CSS --- edit.html | 4 +- edit/base.js | 66 ++++++------- edit/edit.css | 206 +++++++++++++++++++++++------------------ edit/linter-manager.js | 2 +- 4 files changed, 152 insertions(+), 126 deletions(-) diff --git a/edit.html b/edit.html index dfc741cc..91a4e539 100644 --- a/edit.html +++ b/edit.html @@ -418,7 +418,7 @@

    -
    +

    : @@ -431,7 +431,7 @@

    -