body {
	margin: 50px;
	font-family: 'Open Sans', sans-serif;
	color: #5f5f5f;
	overflow-x: hidden;
}

a:link, a:visited {
	color: #3492ff;
}

h2 {
	font-family: 'Source Code Pro', monospace;
}

h3, pre code.hljs {
	padding: 25px;
	margin-left: -50px;
	padding-left: 50px;
	width: 100vw;
}

h3 {
	background: #eee;
	color: #333;
}

h3 code {
	font-family: 'Roboto', sans-serif;
}

h4 {
	font-weight: bold;
	color: #333;
}

li code:first-of-type, li em, li em a {
	color: #3492ff;
	font-family: 'Roboto', sans-serif;
}

ol {
	list-style-type:none
}

hr {
	display: none;
}

.implof {
	font-size: 9pt
}