.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;
}