#sidebar {
	background: $boost-darken-1;
	width: 15%;
	min-width: 20;
	dock: left;
	margin-top: 1;
}

#sidebar-buttons {
	padding: 1;
	padding-bottom: 0;
	background: $boost-darken-1;
	border-bottom: tall $surface;

	Button {
		max-width: 5;
		margin-right: 1;
	} 
}

#sidebar-switcher Vertical {
	padding: 1;
	Static {
		margin-bottom: 1;
		text-style: dim;
	}
}

#files {
	#directory {
		background: transparent;
	}
}

#editor {
	margin-top: 1;

	#code-editor {
		min-height: 3;
	}
}

#console-container {
	padding-top: 1;
	margin: 1;
	border-top: tall $boost;
	height: 35%;
	min-height: 12;

	#console {
		border: tall $boost;
		margin-bottom: 1;
	}
}

#terminal {
	height: 35%;
	min-height: 12;
	margin: 1;
}

#find-window {
	width: 45;
	height: 11;

	Input {
		width: 20;
		margin-bottom: 1;
	}

	#num-matches {
		width: 10;
		margin-left: 1;
		height: 3;
		content-align: left middle;
	}

	Button {
		max-width: 5;
	}
}