@import 'typography.css';
body {
	background-position: top left;
	background-attachment: fixed;
	margin: 0;
	-webkit-overflow-scrolling: touch;
}
button + a,
button + button {
	margin-left: 6px;
}
button {
	/* 
		our buttons have been using normal line-height as default, re-enforcing that here
		to avoid any unexpected changes.
	 */
	line-height: normal;
}
p {
	margin: 10px 0;
}
pre {
	overflow-x: auto;
	padding: 10px;
	white-space: pre-wrap;
	word-wrap: break-word;
}
@media print {
	h1 {
		display: none;
	}
	html {
		background: none !important;
		overflow: visible !important;
		position: static !important;
	}
	body {
		width: auto !important;
		overflow: visible !important;
		position: static !important;
		background: none !important;
	}
}
