+ { Color_branchlabel, N_("branch label"), "branchlabel", "#c88000", "branchlabel" },
+ { Color_footlabel, N_("footnote label"), "footlabel", "#00aaff", "footlabel" },
+ { Color_indexlabel, N_("index label"), "indexlabel", "green", "indexlabel" },
+ { Color_marginlabel, N_("margin note label"), "marginlabel", "#aa55ff", "marginlabel" },
+ { Color_urllabel, N_("URL label"), "urllabel", "blue", "urllabel" },
+ { Color_urltext, N_("URL text"), "urltext", "blue", "urltext" },