@font-face {
	font-family: "digital";
	src: url("/static/fonts/digital-webfont.woff");
	font-weight: normal;
	font-style: normal;
}

* {
	box-sizing: border-box;
}

body {
	background: #222;
	color: white;
	font-family: "digital", sans-serif;
	font-size: 32px;
	padding: 0;
	margin: 0;
}

button {
	display: inline-block;
	color: #333;
	background: #ddd;
	padding: 0.5rem 1rem;

	font-family: inherit;
	font-size: 1.5rem;

	border-radius: 3px;
	box-shadow: inset 2px 2px #fff, inset -2px -2px #bbb,
		4px 4px rgba(0, 0, 0, 0.2);

	cursor: pointer;
}

button:disabled {
	cursor: default;
	color: #999999 !important;
}

#buttonStart {
	color: green;
}

.hud {
	display: flex;
	justify-content: space-between;
	align-items: center;
	padding: 2rem 2rem;
}

.hud-state {
	font-size: #bbbbbb;
}

.content {
	padding: 0 2rem;
}

.box {
	background: #000;
	border: 5px solid #4d4d4d;
	box-shadow: inset 0 0 0 10px #d6d6d6, 0 10px 0 -5px rgba(0, 0, 0, 0.2);
	padding: 16px;
}

.box-header {
	font-size: 3rem;
	margin-bottom: 16px;
}

.center {
	text-align: center;
}

#display {
	display: inline;
	padding: 1rem 5rem;
}

#modules > div {
	display: inline-block;
	color: #333;
	background: #ddd;
	padding: 0.5rem 1rem;

	font-family: inherit;
	font-size: 3rem;

	border-radius: 3px;
	box-shadow: inset 2px 2px #fff, inset -2px -2px #bbb,
		4px 4px rgba(0, 0, 0, 0.2);
	margin: 8px;
}

.solved {
	background-color: green !important;
	color: white !important;
}

.needy {
	background-color: grey !important;
}

.unsolved {
	background-color: yellow !important;
}