style "icons" {

   stock["gtk-go-back"] =
   {
     {"stock-big-back.png", *, *, "gtk-large-toolbar"}
   }

   stock["gtk-go-forward"] =
   {
     {"stock-big-forward.png", *, *, "gtk-large-toolbar"}
   }

   stock["gtk-go-up"] =
   {
     {"stock-big-up.png", *, *, "gtk-large-toolbar"}
   }

   stock["gtk-home"] =
   {
     {"stock-big-home.png", *, *, "gtk-large-toolbar"}
   }

   stock["gtk-refresh"] =
   {
     {"stock-big-refresh.png", *, *, "gtk-large-toolbar"}
   }

   stock["gtk-stop"] =
   {
     {"stock-big-stop.png", *, *, "gtk-large-toolbar"}
   }
}

class "GtkWidget" style "icons"
