minor UI fixes

extension/ui/pages/options.css

@@ -5,6 +5,7 @@ body {
 body>div {
 	margin-left: auto;
 	margin-right: auto;	
+	padding: 10px;
 	font-family: sans-serif;
 	text-align: justify;
 }
@@ -36,6 +37,10 @@ button:active {
 	margin-bottom: 12px;
 }
 
+#popupContent .bottom {
+	padding-top: 20px;
+}
+
 input[type="checkbox"],button,input[type="text"],input[type="number"] {
 	float: right;
 	margin: 1px 0px;

extension/ui/pages/options.html

@@ -33,7 +33,7 @@
 						<u>uncheck</u> this option</p>
 				</div>
 			</div>
-			<div class="option">
+			<div class="option bottom">
 				<a href="help.html" target="SingleFileHelpPage">help</a>
 				<button id="resetButton" title="Reset all the options to default (i.e. recommended) state">Reset to default options</button>
 			</div>