########################################################################
#PANEL BACKGROUND
########################################################################

#There is no way to have a streched background with the current gnome panel

style "panelbg"
{

#	bg_pixmap[NORMAL]					= "images/panel_bg.png"
#	bg[NORMAL] = "#ff0000"


	engine "experience"
	{
	
		group "panel_handle"
		{
			function					= HANDLE
		}

		group "panel_bg"
		{
			function						= FLAT_BOX
			image 1 {		file				= "images/panel_bg.png" }
		}

	}
}


style "panelbg2"
{

# 	bg_pixmap[NORMAL]					= "images/red.png"
 
 	engine "experience"
	{
	

		group "panel_bg2" =  "panel_bg"
		{
			image 1 {		padding			= { 0, 0, -1, -1} }
		}

	}
}




style "panelmenu-arrows"
{


	engine "experience"
	{
	
		group "panel_menu_arrow"
		{
			function					= ARROW
		}


	}
}

style "panel-arrows"
{


	engine "experience"
	{
	
		group "panel_menu_arrow_normal" = "spin_arrow_up_normal"
		group "panel_menu_arrow_prelight" = "spin_arrow_up_prelight"
		group "panel_menu_arrow_active" = "spin_arrow_up_active"
		group "panel_menu_arrow_insensitive" = "spin_arrow_up_insensitive"

	}
}
