From 563e0281af5c20536d18dd5e4b75c6b3841167bc Mon Sep 17 00:00:00 2001
From: Albert Graef <aggraef@gmail.com>
Date: Thu, 14 Jul 2016 19:18:31 +0200
Subject: [PATCH] Cosmetic GUI changes: fixes to search dialog, needs to have
 its own class.

---
 pd/nw/css/c64.css              | 7 +++++++
 pd/nw/css/default.css          | 7 +++++++
 pd/nw/css/extended.css         | 7 +++++++
 pd/nw/css/inverted.css         | 7 +++++++
 pd/nw/css/strongbad.css        | 7 +++++++
 pd/nw/css/subdued.css          | 7 +++++++
 pd/nw/css/vanilla.css          | 7 +++++++
 pd/nw/css/vanilla_inverted.css | 7 +++++++
 pd/nw/dialog_search.html       | 2 +-
 9 files changed, 57 insertions(+), 1 deletion(-)

diff --git a/pd/nw/css/c64.css b/pd/nw/css/c64.css
index 4d097c656..335855688 100644
--- a/pd/nw/css/c64.css
+++ b/pd/nw/css/c64.css
@@ -332,6 +332,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/default.css b/pd/nw/css/default.css
index b0af5642f..e7c67fdef 100644
--- a/pd/nw/css/default.css
+++ b/pd/nw/css/default.css
@@ -464,6 +464,13 @@ text {
     box-shadow: 7px 7px 5px grey;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/extended.css b/pd/nw/css/extended.css
index 0078617db..27d0a5332 100644
--- a/pd/nw/css/extended.css
+++ b/pd/nw/css/extended.css
@@ -326,6 +326,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/inverted.css b/pd/nw/css/inverted.css
index 632b7453b..1f967f62a 100644
--- a/pd/nw/css/inverted.css
+++ b/pd/nw/css/inverted.css
@@ -352,6 +352,13 @@ text {
     color: white;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/strongbad.css b/pd/nw/css/strongbad.css
index b5b46de37..b063dbe4d 100644
--- a/pd/nw/css/strongbad.css
+++ b/pd/nw/css/strongbad.css
@@ -334,6 +334,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/subdued.css b/pd/nw/css/subdued.css
index a92bf54a7..7c89445d8 100644
--- a/pd/nw/css/subdued.css
+++ b/pd/nw/css/subdued.css
@@ -333,6 +333,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/vanilla.css b/pd/nw/css/vanilla.css
index 1cfd89b33..190b0c458 100644
--- a/pd/nw/css/vanilla.css
+++ b/pd/nw/css/vanilla.css
@@ -327,6 +327,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/css/vanilla_inverted.css b/pd/nw/css/vanilla_inverted.css
index d1273f17d..ebd552443 100644
--- a/pd/nw/css/vanilla_inverted.css
+++ b/pd/nw/css/vanilla_inverted.css
@@ -332,6 +332,13 @@ text {
     left: 0;
 }
 
+/* Search dialog */
+
+.search_body {
+    font-family: "DejaVu Sans", sans-serif;
+    font-size: 10pt;
+}
+
 /* Common to all dialogs */
 
 .dialog_body {
diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html
index 9872da5fb..fb0f2dfd7 100644
--- a/pd/nw/dialog_search.html
+++ b/pd/nw/dialog_search.html
@@ -337,7 +337,7 @@ function doc_search() {
 }
     </script>
   </head>
-  <body class="dialog_body">
+  <body class="search_body">
     <svg xmlns="http://www.w3.org/2000/svg" version="1.1"
          width="220" height="50" viewBox="0 0 140 31.81">
       <g stroke-linecap="square" fill="none" stroke-width="3">
-- 
GitLab