style "icon-style"
{  
  stock["gtk-go-up"] = {{ "up.svg", *, *, * }}
  stock["gtk-go-down"] = {{ "go-down.svg", *, *, * }}
  stock["gtk-go-back"] = {{ "left.svg", *, *, * }}
  stock["gtk-go-forward"] = {{ "right.svg", *, *, * }}
  stock["gtk-home"] = {{ "home-toolbar.svg", *, *, * }}
  stock["gtk-stop"] = {{ "stop.svg", *, *, * }}
  stock["gtk-close"] = {{ "stop.svg", *, *, * }}
  stock["gtk-cancel"] = {{ "stop.svg", *, *, * }}
  stock["gtk-refresh"] = {{ "refresh.svg", *, *, * }}
  stock["gtk-jump-to"] = {{ "jump-to.svg", *, *, * }}
  stock["gtk-copy"] = {{ "copy.svg", *, *, * }}
  stock["gtk-cut"] = {{ "cut.svg", *, *, * }}
  stock["gtk-paste"] = {{ "paste.svg", *, *, * }}
  stock["gtk-missing-image"] = {{ "missing-image.svg", *, *, * }}
  stock["gtk-new"] = {{ "new.svg", *, *, * }}
  stock["gtk-open"] = {{ "open.svg", *, *, * }}
  stock["gtk-save"] = {{ "save.svg", *, *, * }}
  stock["gtk-help"] = {{ "help.svg", *, *, * }}
  stock["gtk-save-as"] = {{ "save-as.svg", *, *, * }}
  stock["gtk-revert-to-saved"] = {{ "revert.svg", *, *, * }}
  stock["gtk-undelete"] = {{ "undo-trash.svg", *, *, * }}
  stock["gtk-ok"] = {{ "ok.svg", *, *, * }}
  stock["gtk-apply"] = {{ "ok.svg", *, *, * }}
  stock["gtk-no"] = {{ "no.svg", *, *, * }}
  stock["gtk-dialog-warning"] = {{ "warning.svg", *, *, * }}
  	
}
class "GtkWidget" style "icon-style"
