style: format code with Prettier and remove unused code

Change-Id: I382f39d142cfa29f192447b0d2c6d48e113327b4
diff --git a/options.html b/options.html
index e24bd74..81ef68a 100644
--- a/options.html
+++ b/options.html
@@ -1,14 +1,18 @@
 <html>
-	<head>
-		<title>Options</title>
-		<meta charset="UTF-8">
-		<script src="options.js"></script>
-		<link rel="stylesheet" type="text/css" href="options.css">
-		<link href='http://fonts.googleapis.com/css?family=Roboto' rel='stylesheet' type='text/css'>
-	</head>
-	<body>
-		<h1 id="extension_name"></h1>
-		<p id="no_options"></p>
-		<button id="close"></button>
-	</body>
+  <head>
+    <title>Options</title>
+    <meta charset="UTF-8" />
+    <script src="options.js"></script>
+    <link rel="stylesheet" type="text/css" href="options.css" />
+    <link
+      href="http://fonts.googleapis.com/css?family=Roboto"
+      rel="stylesheet"
+      type="text/css"
+    />
+  </head>
+  <body>
+    <h1 id="extension_name"></h1>
+    <p id="no_options"></p>
+    <button id="close"></button>
+  </body>
 </html>