body {
		font: 14px 'Open Sans', "Lucida Grande", Helvetica, Arial, sans-serif;
}

hr {
	margin: 15px 0;
}

img.header-image {
	margin-top: -10px;
	margin-bottom: -5px;
	width: 30px;
	height: 30px;
	margin-right: 10px;
}

.monospace {
	font-family: monospace;
}

.properties-header {
	width: 180px;
	text-align: right;
}

.word-wrap {
	word-wrap: break-word;
	word-break: break-all;
}

.tag {
	border-radius: 4px;
	background-color: #0275d8;
	color: white;
	padding: 2px 5px;
	margin-right: 4px;
}