/* The stylesheet for common GWT widgets. */


/* Tab panels. */
.gwt-TabPanel{
	border: 1px solid gray;
}

/* The bottom part (deck) of tab panels. */
.gwt-TabPanelBottom{
	background-color: white;
	padding: 1em;
}

/* Tab bars. */
.gwt-TabBar{
	background-color: #D0D0D0;
	cursor: default;
}

/* The small area preceding the first tab. */
.gwt-TabBar .gwt-TabBarFirst{
	border-color: gray;
	border-style: solid;
	border-width: 0px 1px 1px 0px;
	padding: 0.3em 0px 0.2em 0px;
	width: 5px;
}

/* The area following the last tab. */
.gwt-TabBar .gwt-TabBarRest{
	border-bottom: 1px solid gray;
	padding: 0.3em 0px 0.2em 0px;
	width: 100%;
}

/* A tab. */
.gwt-TabBar .gwt-TabBarItem{
	border-color: gray;
	border-style: solid;
	border-width: 0px 1px 1px 0px;
	padding: 0.3em 1em 0.2em 1em;
}

/* A selected tab. */
.gwt-TabBar .gwt-TabBarItem-selected{
	background-color: white;
	border-bottom-color: white;
}