Merge branch 'options-to-js' into 'pregmod-master'

Options to js

See merge request !8320

src/gui/css/options.css

@@ -83,3 +83,24 @@ div.options-group input {
 div.options-group input.number {
 	width: 50px;
 }
+
+.subHeading {
+	width: 85%;
+	text-align: center;
+	margin-top: 1.5em;
+}
+.scLink {
+	width: 85%;
+	text-align: center;
+}
+.scLink2 {
+	width: 73%;
+	text-align: center;
+}
+
+table.invisible {
+    table-layout: fixed;
+    border-collapse: separate;
+    border-spacing: 5px;
+    margin:1em auto;
+}
\ No newline at end of file