/* DejaVuSansMono */
@font-face {
  font-family: 'DejaVuSansMono';
  font-style: normal;
  font-weight: 400;
  src: local(''),
       url('/DejaVuSansMono.woff') format('woff'), /* Modern Browsers */
       url('/DejaVuSansMono.ttf') format('truetype'); /* Safari, Android, iOS */
}

article > hr {
	margin-top: 20px;
	margin-bottom: 20px;
}

code {
	background-color: #DEE2FF;
}

pre, code {
	tab-size: 3;
	font-family: "DejaVuSansMono", monospace;
}

pre, pre > code {
	font-size: small;
	background-color: #222;
	color: white;
	padding: 10px;
	overflow: auto;
}

article {
	padding: 5vw;
}

article > h1 {
	font-size: 40px;
	padding: 20px;
}

article > p {
	text-align: justify;
}

@media only screen and (max-width: 600px) {
	article {
		padding: 10px;
		font-size: 16px;
	}
	article > h1 {
		font-size: 36px;
		padding: 0;
	}
}

.equation {
	image-rendering: crisp-edges;
	zoom: 50%;
}

.note {
	color: #900;
	font-family: serif;
	text-align: justify;
	padding-left: 15px;
	border-left: 3px solid #700;
	width: 80%;
}