New themes panel.margin.x and panel.margin.y

Re-issue of #840.