html {
	font-size: 13px;
}

/*
body > div.container {
	padding-top: 70px;
	padding-bottom: 20px;
	min-height: 100%;
	box-sizing: border-box;
}
*/

body > pre {
	margin-top: 100px;
}

body > main {
	margin-top: 70px;
	padding-bottom: 20px;
}

.btn-group-xs > .btn,
.btn-xs {
	padding: .25rem .4rem;
	font-size: .875rem;
	line-height: .5;
	border-radius .2rem;
}