.pinboard {
	position: absolute;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
	font-family: monospace;
	padding-top: 10px;
}

.pinboard-command {
	font-weight: bold;
}

.pinboard-result {
	padding-bottom: 10px;
}