Tidied up the User Settings dialog.

vasl_templates/webapp/static/css/user-settings-dialog.css

@@ -1,6 +1,7 @@
 .ui-dialog.user-settings .ui-dialog-titlebar { background: #80d0ff ; }
 .ui-dialog.user-settings .ui-dialog-buttonpane { border: none ; margin-top: 0 !important ; padding-top: 0 !important ; }
 
+.ui-dialog.user-settings .row { height: 1.5em ; }
 .ui-dialog.user-settings fieldset { margin: 0.5em 0 0 0 ; padding-top: 0.5em ; border-radius: 0 ; }
 .ui-dialog.user-settings .select2 { margin-top: -4px ; }
 

vasl_templates/webapp/static/user_settings.js

@@ -77,7 +77,7 @@ function user_settings()
         dialogClass: "user-settings",
         modal: true,
         width: 460,
-        height: 340,
+        height: 350,
         resizable: false,
         create: function() {
             init_dialog( $(this), "OK", true ) ;

vasl_templates/webapp/templates/user-settings-dialog.html

@@ -1,15 +1,22 @@
 <div id="user-settings" style="display:none;">
 
-    <div style="display:flex;align-items:center;margin-bottom:0.25em;">
+    <div class="row" style="display:flex;align-items:center;margin-bottom:0.25em;">
         HTML snippet font:&nbsp;
         <input type="text" name="snippet-font-family" title='CSS font family (e.g. "Verdana" or "sans-serif")' style="flex-grow:1;">&nbsp;
         <input type="text" name="snippet-font-size" size="3" title='CSS font size (e.g. "12px")'>
     </div>
-    <input type="checkbox" name="auto-create-national-capabilities-labels"> Auto-create <em>National Capabilities</em> labels <br>
-    <div style="margin-top:0.25em;">
-        <input type="checkbox" name="hide-unavailable-ma-notes"> Hide unavailable multi-applicable notes <br>
+
+    <div class="row">
+        <input type="checkbox" name="auto-create-national-capabilities-labels">
+        Auto-create <em>National Capabilities</em> labels
+    </div>
+
+    <div class="row">
+        <input type="checkbox" name="hide-unavailable-ma-notes">
+        Hide unavailable multi-applicable notes
     </div>
-    <div style="margin-top:0.5em;">
+
+    <div class="row" style="margin-top:0.25em;">
         <label for="">Date format:</label>
         <select name="date-format" style="width:9em;">
             <option value="mm/dd/yy">MM/DD/YYYY</option>