.workspace_button {
	margin-top: 0.25em;
	margin-right: 0.25em;
	margin-bottom: 0.25em;
	color: $text_color;
	border-radius: 1em;
	background: $workspace_button_background;
	padding: 0.25em;
	box-shadow: 1px 0px 1px 1px $drop_shadow_color;
}
