From 8abb1777555cad18386a43764b5c52fc26861a8b Mon Sep 17 00:00:00 2001
From: Arkerthan <arkerthan@gmail.com>
Date: Tue, 5 May 2020 16:50:05 +0200
Subject: [PATCH] remove unused local styles

---
 src/uncategorized/options.tw | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/src/uncategorized/options.tw b/src/uncategorized/options.tw
index 68ab3d6269e..9e6f4500e8d 100644
--- a/src/uncategorized/options.tw
+++ b/src/uncategorized/options.tw
@@ -1,24 +1,11 @@
 :: Options [nobr]
 
 <style>
-.active {
-	background-color: grey;
-}
 .subHeading {
 	width: 85%;
 	text-align: center;
 	margin-top: 1.5em;
 }
-.rebellionOption {
-	margin-top: -30px;
-	width: 75%;
-	text-align: right;
-}
-.rebellionOption2 {
-	margin-top: -30px;
-	width: 63.2%;
-	text-align: right;
-}
 .scLink {
 	width: 85%;
 	text-align: center;
-- 
GitLab