Improve the look of the settings menu

macrovision.css

@@ -996,6 +996,7 @@ button {
     border-width: 5px;
     border-style: solid;
     max-width: 240pt;
+    height: 60pt;
 }
 
 .settings-holder.enabled {
@@ -1006,7 +1007,9 @@ button {
 .settings-desc {
     text-align: right;
     margin-right: 8pt;
+    user-select: none;
 }
+
 .settings-holder.disabled {
     background: gray;
     border-color: darkslategray;
@@ -1014,7 +1017,14 @@ button {
 
 .settings-name {
     font-size: 200%;
-    margin-right: 16pt;
+    margin-left: 8pt;
+    user-select: none;
+}
+
+.settings-holder > select {
+    height: 100%;
+    background: darkgreen;
+    font-size: 16pt;
 }
 
 .filter-button > i {

macrovision.js

@@ -1916,11 +1916,8 @@ function prepareSettings(userSettings) {
             
             holder.setAttribute("for", input.id);
 
-            // FIXME this is tangled
-            input.appendChild(name);
-            input.appendChild(desc);
-            holder.appendChild(input);
             holder.appendChild(name);
+            holder.appendChild(input);
             holder.appendChild(desc);
             menubar.appendChild(holder);
 
@@ -1953,8 +1950,8 @@ function prepareSettings(userSettings) {
 
             select.value = userSettings[id] === undefined ? entry.default : userSettings[id];
 
-            holder.appendChild(select);
             holder.appendChild(name);
+            holder.appendChild(select);
             holder.appendChild(desc);
             menubar.appendChild(holder);