[style] font = -*-terminus-medium-r-*-*-16-*-*-*-*-*-*-* [style.color] # normal / selected # bg / fg nbg = #222222 nfg = #bbbbbb sbg = #559955 sfg = #bbbbbb # borders nbr = #335533 sbr = #f0dfaf
