src/utils_cgi.c: Change shortcut name to "C₄" (from "c⁴").

diff --git a/src/action_list_graphs.c b/src/action_list_graphs.c
index 42bab5d1e17cd03d6d460b4b20b6775b26e3edbf..684321c29b4e642092b77c12b2d0ac6502adc852 100644 (file)
--- a/src/action_list_graphs.c
+++ b/src/action_list_graphs.c
@@ -239,9 +239,10 @@ static int list_graphs_html (const char *term) /* {{{ */
   char title[512];
 
   if (term != NULL)
-    snprintf (title, sizeof (title), "c4: Graphs matching \"%s\"", term);
+    snprintf (title, sizeof (title), "Graphs matching \"%s\"",
+        term);
   else
-    strncpy (title, "c4: List of all graphs", sizeof (title));
+    strncpy (title, "List of all graphs", sizeof (title));
   title[sizeof (title) - 1] = 0;
 
   memset (&pg_data, 0, sizeof (pg_data));

diff --git a/src/utils_cgi.c b/src/utils_cgi.c
index 3fe7e183f264b787b90469fe87fa82178255af09..fbabda6a4f50685e26cfb59e655ae7a7d0a0625b 100644 (file)
--- a/src/utils_cgi.c
+++ b/src/utils_cgi.c
@@ -579,7 +579,7 @@ int html_print_page (const char *title, /* {{{ */
       "\n\n");
 
   if (title == NULL)
-    title = "c4: collection4 graph interface";
+    title = "C₄: collection4 graph interface";
 
   title_html = html_escape (title);
 
@@ -654,7 +654,7 @@ int html_print_page (const char *title, /* {{{ */
 int html_print_logo (__attribute__((unused)) void *user_data) /* {{{ */
 {
   printf ("<a href=\"%s?action=list_graphs\" id=\"logo-canvas\">\n"
-      "  <h1>c<sup>4</sup></h1>\n"
+      "  <h1>C<sub>4</sub></h1>\n"
       "  <div id=\"logo-subscript\">collection&nbsp;4</div>\n"
       "</a>\n");