@ /* The label/value pairs on (for example) the ci page */
@ table.label-value th {
@   vertical-align: top;
@   text-align: right;
@   padding: 0.2ex 2ex;
@ }
;
const char zDivNomenclatureSidebox[] =
@ /* The nomenclature sidebox for branches,.. */
@ div.nomenclatureSidebox {
@   float: right;
@   width: 33%;
@   border-width: medium;
@   border-style: double;
@   margin: 10;
@ }
;

/*
** WEBPAGE: style.css
*/
void page_style_css(void){
  const char *zCSS    = 0;
  const char *zCSSdef = 0;

  cgi_set_content_type("text/css");
  zCSS = db_get("css",(char*)zDefaultCSS);
  /* append user defined css */
  cgi_append_content(zCSS, -1);
  /* add special missing definitions */
  if (!strstr("table.label-value",zCSS))       cgi_append_content(zTableLabelValueCSS, -1);
  if (!strstr("div.nomenclatureSidebox",zCSS)) cgi_append_content(zDivNomenclatureSidebox, -1);
  g.isConst = 1;
}

/*
** WEBPAGE: test_env
*/
void page_test_env(void){