--- /dev/null
+body
+{
+ font-family: sans-serif;
+}
+
+ul.graph_list
+{
+ margin: 0;
+ padding: 1ex;
+ width: 50ex;
+}
+
+li.graph
+{
+ display: block;
+ border: 1px solid gray;
+ margin-top: 1ex;
+
+ background-color: rgb(245,245,255);
+}
+
+ul.instance_list
+{
+ margin: 0;
+ padding: 1ex;
+ border-top: 1px solid gray;
+
+ background-color: rgb(252,252,252);
+}
+
+li.instance
+{
+ display: block;
+
+ font-size: 90%;
+}
graph_get_title (cfg, desc, sizeof (desc));
html_escape_buffer (desc, sizeof (desc));
- printf (" <li>%s\n <ul>\n", desc);
+ printf (" <li class=\"graph\">%s\n"
+ " <ul class=\"instance_list\">\n", desc);
data->cfg = cfg;
}
inst_describe (cfg, inst, desc, sizeof (desc));
html_escape_buffer (desc, sizeof (desc));
- printf (" <li><a href=\"%s?action=graph;%s\">%s</a></li>\n",
+ printf (" <li class=\"instance\"><a href=\"%s?action=graph;%s\">%s</a></li>\n",
script_name (), params, desc);
if (data->limit > 0)
printf (" <title>c4: Graphs matching "%s"</title>\n", term);
else
printf (" <title>c4: List of all graphs</title>\n");
+ printf (" <link rel=\"stylesheet\" type=\"text/css\" href=\"../share/style.css\" />\n");
printf (" </head>\n <body>\n");
printf ("<form action=\"%s\" method=\"get\">\n"
free (term_html);
- printf (" <ul>\n");
+ printf (" <ul class=\"graph_list\">\n");
if (term == NULL)
gl_instance_get_all (print_graph_inst_html, /* user_data = */ &data);
else