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));
"\n\n");
if (title == NULL)
- title = "c4: collection4 graph interface";
+ title = "C₄: collection4 graph interface";
title_html = html_escape (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 4</div>\n"
"</a>\n");