# Settings that display how button widgets look

style "industrial-button" = "industrial-woody"
{
	xthickness = 1
	ythickness = 1

	# Minimum width of buttons insided box
	
	GtkButtonBox::child_min_width = 0

	# Minimum height of buttons inside box
	
	GtkButtonBox::child_min_height = 0
	
	# Adds padding to left and right sides of buttons
	
	GtkButtonBox::child_internal_pad_x = 3

	# Adds padding to top and bottom side of buttons
	
	GtkButtonBox::child_internal_pad_y = 0
  	
	# Depth, in pixels, of border that is displayed
	
	GtkButton::default_border = { 3, 3, 3, 3 }

	# Depth, in pixels, of outer border that is displayed
	
	GtkButton::default_outside_border = { 3, 3, 3, 3 }

	# How far a button is displaced horizontally when depressed
	
	GtkButton::child_displacement_x = 1
	
	# How far a button is displaced vertically when depressed
		
	GtkButton::child_displacement_y = 1

	# Size of check button

	GtkCheckButton::indicator_size = 17

	# Space between check button and elements around it

	GtkCheckButton::indicator_spacing = 1

	# Size of radio buttons

	GtkRadioButton::indicator_size = 17

	# Space between radio buttons and elements around them.

	GtkRadioButton::indicator_spacing = 1
	                
}
class "GtkButton" style "industrial-button"
class "GtkToggleButton" style "industrial-button"
class "GtkCheckButton" style "industrial-button"
class "GtkRadioButton" style "industrial-button"
class "GtkColorButton" style "industrial-button"
class "GtkFontButton" style "industrial-button"
class "GtkOptionMenu" style "industrial-button"
