//
// CPT operator / SondeerGame 
// This source file is (c) by Deltares.
// - October 2014
//

/// jln - 17-11-2008 Simply extends TabButton to set a new custom style:

class GeoGUITabButton extends GUITabButton;



defaultproperties
{
	StyleName="GeoTabButton"