Cosmetic GUI changes: Reduce label font size in dialogs, enlarge prefs dialog...

Cosmetic GUI changes: Reduce label font size in dialogs, enlarge prefs dialog window to fix bad line breaks in prefs dialog.

pd/nw/css/c64.css

@@ -336,6 +336,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #3e32a2;
 }
 

pd/nw/css/default.css

@@ -468,6 +468,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/extended.css

@@ -330,6 +330,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/inverted.css

@@ -356,6 +356,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/strongbad.css

@@ -338,6 +338,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/subdued.css

@@ -337,6 +337,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/vanilla.css

@@ -331,6 +331,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/css/vanilla_inverted.css

@@ -336,6 +336,7 @@ text {
 
 .dialog_body {
     font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
     background-color: #f3f3f3;
 }
 

pd/nw/pdgui.js

@@ -3721,7 +3721,7 @@ function gui_pd_dsp(state) {
 
 function open_prefs() {
     if (!dialogwin["prefs"]) {
-        nw_create_window("prefs", "prefs", 265, 400, 0, 0, null);
+        nw_create_window("prefs", "prefs", 300, 420, 0, 0, null);
     }
 }