/** Add css rules here for your application. */

body {
	-webkit-touch-callout: none;
	-webkit-user-select: none;
	-khtml-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

button {
	border: 1px solid #ccc !important;
}

.toolbar div.gwt-Label {
	margin-top: 0.35em;
}

.toolbar button {
	width: 100%;
	height: 100%;
}

.controls button {
	width: 3.5em;
	height: 3.5em;
}

.gwt-Frame {
	border: none !important;
}

.console {
	margin-left: 4px;
	margin-right: 1px;
	margin-top: 3px;
	margin-bottom: 2px;
	white-space: pre-line;
}

.console .gwt-TabLayoutPanelContentContainer {
	margin-bottom: 2px;
	border: 1px solid #ccc !important;
}

.console .gwt-TabLayoutPanelContent {
	border: none !important;
}

.gwt-TextBox {
	white-space: pre;
	width: 100%;
	box-sizing: border-box;
	-moz-box-sizing: border-box;
	border: 1px solid #ccc;
}