From fd890f8e614d5f728b07dca2a10ca0731b0838b5 Mon Sep 17 00:00:00 2001 From: tophf Date: Sat, 2 Jan 2021 23:34:42 +0300 Subject: [PATCH] show "Options" heading in options UI --- options.html | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/options.html b/options.html index e45f51eb..9a8ab620 100644 --- a/options.html +++ b/options.html @@ -33,9 +33,13 @@
-
-
- Stylus
+
+
+ + + +
+