font = "-*-helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*",
de.substyle("active-selected", {
shadow_colour = "#f0f066",
font = "-*-helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*",
de.substyle("active-selected", {
shadow_colour = "#f0f066",
de.substyle("*-cursor", {
background_colour = "#000000",
foreground_colour = "#d8d8d8",
de.substyle("*-cursor", {
background_colour = "#000000",
foreground_colour = "#d8d8d8",