"\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");