* {
	padding: 0;
	margin: 0;
	box-sizing: border-box;
}

body {
	font-family: helvetica, arial;
}

#workspace {
	height: calc(100vh - 30px);
	position: relative;
}

body.full #workspace {
	height: 100vh;
}

#menu-bar {
	height: 30px;
	border-bottom: 1px solid lightgrey;
	padding: 5px;
}

body.full #menu-bar {
	display: none;
}

#menu-bar .left {
	float: left;
}

#menu-bar .right {
	float: right;
}

#menu-bar a {
	color: black;
	text-decoration: none;
	font-size: 12px;
	display: inline-block;
	vertical-align: top;
	padding: 0 4px;
	font-weight: bold;
}

#menu-bar a.selected {
	text-decoration: underline;
}