html {
	overflow-y: scroll;
}
pre {
	margin-bottom: 0;
}
.en {
	display: none;
}
.lang {
	float: right;
	margin-top: 13px;
}
.lang span {
	margin-left: 5px;
	cursor: pointer;
}
.clear {
	clear: both;
}
.center {
	text-align: center;
}
.no-margin {
	margin: 0;
}
.no-top-margin {
	margin-top: 0;
}
.no-bottom-margin {
	margin-bottom: 0;
}
.margin-bottom-14 {
	margin-bottom: 14px;
}
.list-group {
	margin-bottom: 0;
}
.list-group-item {
	padding: 1px 15px;
	text-align: center;
	overflow: auto;
	font-family: Monaco,Menlo,Consolas,"Courier New",monospace;
	font-size: 13px;
	word-break: break-word;
}
.inline-label {
	vertical-align: middle;
	margin-right: 10px;
	margin-bottom: 0;
}
.list-group-item.thick-separator {
	border-bottom-width: 3px;
}
.run-step {
	float: right;
	display: none;
}
.stack {
	position: relative;
}
.stack-indicator {
	position: absolute;
	right: 14px;
	top: 0;
	background: url(../images/arrow_down.png) center bottom no-repeat;
	height: 40px;
	width: 30px;
}
.stackoverflow {
	display: none;
	text-align: center;
	padding: 5px 15px;
}
.representation-title {
	float: left;
}
.representation-control {
	float: left;
	margin-top: 24px;
	margin-left: 20px;
}
.representation-control a {
	margin-right: 10px;
}
@media (min-width: 992px) {
	.no-padding {
		padding: 0;
	}
	.no-left-padding {
		padding-left: 0;
	}
	.no-right-padding {
		padding-right: 0;
	}
}