@font-face {
	font-family: 'Open Sans';
	font-display: swap;
	src: url('fonts/OpenSans.woff2') format('woff2');
}

@media screen and (min-width:240px) {
	h2 {
		font-size: 1rem;
	}

	h5 {
		font-size: 0.85rem;
	}
}

@media screen and (max-width:768px) {
	header h2 {
		text-align: center;
		line-height: 1.5rem
	}

	img {
		display: block;
		margin-left: auto;
		margin-right: auto;
	}

	img.resize {
		max-width: 40%
	}
}

@media screen and (min-width:768px) {
	#postImage {
		float: left;
		margin-right: 2rem
	}

	;
}

@media (min-width:480px) {
	h2 {
		font-size: 1.5rem;
	}

	h5 {
		font-size: 1rem;
	}
}

@media (min-width:1024px) {
	h2 {
		font-size: 1.75rem;
	}

	h5 {
		font-size: 1.25rem;
	}
}

@media print {
	.pagebreak { 
		page-break-before: always;
	}
	
	.nobreak {
		page-break-inside: avoid;
	}

	#postImage {
		float: left;
		margin-right: 1.5rem;
	}

	.repl,
	.download,
	.nav,
	nav {
		display: none;
	}
}

html {
	font-size: 100%;
}

body {
	font-family: "Open Sans", Arial, sans-serif;
	font-size: 14px;
	line-height: 1.65em;
	color: #2a2a2a;
	margin: 0 auto;
	width: 85%;
}

a {
	color: #3276ce;
	text-decoration: none;
}

a:hover {
	color: #0000ff;
}

p {
	margin-top: 0;
	padding-top: 0
}

pre {
	white-space: pre-wrap;
	word-wrap: break-word;
	background-color: #eeeeee;
	margin: 5px;
	padding: 5px;
}

/*img { max-width: 100%; height: auto; }*/
.indent {
	margin: 0 25px;
	background-color: #E3E3E3;
	padding: 10px
}

h2,h1 {
	margin-bottom: 10px;
	font-weight: 400;
	line-height: 1.2em;
}

h3 {
	margin-bottom: 20px;
	padding-bottom: 5px;
	padding-top: 11px;
	font-weight: 600;
	font-size: 20px;
	color: #3276ce;
	border-bottom: 2px solid #bababa;
}

h4 {
	font-size: 18px;
	color: #4a4a4a;
	font-weight: 600;
	margin-bottom: 7px;
}

h5 {
	color: black;
	margin-bottom: 7px;
}

h6 {
	margin-bottom: 2px;
	margin-top: 10px;
	font-size: 15px
}

.project-title {
	font-size: 24px;
	font-weight: bold;
	color: black;
	margin-bottom: 7px;
	margin-top: 25px;
	white-space: nowrap;
}

header {
	margin-bottom: 40px
}

var {
	font-size:16px;
	font-family: 'Courier New', monospace;
	font-style: normal;
	font-weight: 600;
	background-color: #eeeeee;
	padding: 0 3px;
	

}

code {
	font-size: 13px;
	color: #C70039;
	font-style: normal;

}

.code {
	font-family: "Lucida Console", Monaco, monospace;
	line-height: 1.25rem;
	font-size: 13px;
	white-space: pre-wrap;
	word-wrap: break-word;
}

.left-column {
	display: inline;
	float: left;
	width: 200px;
	margin-right: 30px;
}

.left-image {
	display: inline;
	float: left;
	margin-right: 15px;
}

.right-image {
	display: inline;
	float: right;
	margin-left: 15px;
}

.first-column {
	float: left;
	margin-right: 30px;
}

img.hr {
	float: left;
	margin-top: 8px;
	margin-right: 10px
}

.clearfix::after {
	visibility: hidden;
	display: block;
	font-size: 0;
	content: " ";
	clear: both;
	height: 0
}

.comment {
	color: #33ACFF;
}

.red {
	color: #C70039;
	font-weight: bold;
	transition-delay: 0.25s;
}

.black {
	color: black;
	transition-delay: 0.35s;
}

.sh {
	border-bottom: 1px dashed #a9a9a9;
	display: inline;
	cursor: help
}

.center {
	text-align: center;
}

.formula-stack {
	text-align: center;
	line-height: 2rem;
	margin-bottom: 0.5rem;
}

.small {
	font-size: 10px
}

sub,
sup {
	line-height: 0;
	padding-left: 1px;
	font-size: 80%
}

img.alignleft {
	display: inline;
	float: left;
	margin-right: 15px;
	margin-bottom: 10px;
}

div.repl {
	margin-top: 10px;
	margin-left: 4px;
}

img.repl {
	float: left;
	padding-top: 1px
}

img.inline-img {
	display: inline;
	padding-left: 0.20rem;
	vertical-align: middle;
}

.nav,
nav {
	border: 1px solid black;
	text-align: center;
	margin-top: 20px;
	padding-top: 12px;
	margin-bottom: 20px;
	font-size: 16px;
}

blockquote {
	margin: 20px 0 30px;
	border-left: 5px solid;
	padding-left: 20px;
	border-color: #2ea3f2;
	quotes: none;
}

sub,
sup {
	font-size: 75%;
	line-height: 0;
	position: relative;
	vertical-align: baseline;
	padding-left: 1px;
}

sup {
	top: -0.5em;
}

sub {
	bottom: -0.25em;
}

nav>p {
	margin-bottom: 10px
}

.overline {
	text-decoration: overline
}

table, th, td {
  border: 1px solid black;
  border-collapse: collapse;
  padding-left:2px;
}

ol li {
  margin-bottom: 5px;
}

#sourcecode {
	line-height: 1.2rem;
}