html {
	font: 16px/24px "Public Sans", helvetica;
}

.page {
	width: 800px;
	max-width: 100%;
	margin: 60px auto;
	padding: 0 4px;
}

header {
	margin: 32px 0;
	position: relative;
}

header .github {
	display: block;
	position: absolute;
	right: 0;
	top: 0;
}

.heading {
	display: block;
	text-decoration: none;
	color: inherit;
	width: 400px;
	margin: 0 auto;
}

h1 {
	text-align: center;
	font-size: 70px;
	font-weight: normal;
	margin-bottom: 4px;
}

header .logo {
	width: 70px;
	position: relative;
	top: 8px;
}

.heading h2 {
	text-align: center;
	font-size: 22px;
	line-height: 140%;
	font-weight: normal;
	color: #2d2d2d;
}

.heading .beta {
	position: relative;
	font-weight: 200;
}

.heading .beta span {
	font-size: 24px;
	position: absolute;
	top: 24px;
	left: 8px;
}

h1,h2,h3,h4 {
	clear: both;
}

h2 {
	text-align: left;
	font-size: 28px;
	line-height: 140%;
	font-weight: 600;
	margin-top: 24px;
	margin-bottom: 16px;
}

h3 {
	font-size: 24px;
	line-height: 140%;
	font-weight: 100;
	margin-top: 24px;
	margin-bottom: 16px;
}

h4 {
	margin-top: 24px;
	margin-bottom: 16px;
}

p {
	margin: 16px 0;
}

.abstract {
	font-weight: 600;
	background: rgba(0,0,0,0.03);
	padding: 8px;
	font-size: 17px;
}

nav {
	display: flex;
	justify-content: center;
	font-size: 20px;
	font-weight: 600;
	line-height: 140%;
	flex-wrap: wrap;
}

nav a {
	display: block;
	margin: 0 15px;
	color: black;
	padding: 1px;
	text-decoration: none;
	border-bottom: 4px solid #41beff;
}

a {
	color: #00A8FF;
}

footer {
	border-top: 1px solid rgba(0,0,0,0.2);
	font-size: 14px;
	margin-top: 64px;
	padding-top: 8px;
	clear: both;
}

pre.highlight {
	padding: 4px 8px;
	overflow: auto;
}

.img-flex {
	display: flex;
	justify-content: center;
}

.img-flex img {
	display: block;
	padding: 0 8px;
}

.img-flex.nospace img {
	padding: 0;
}

table {
	border: 1px solid rgba(0,0,0,0.3);
	padding: 8px;
	border-collapse: collapse;
}

thead {
	background: rgba(0,0,0,0.05);
}

td,th {
	padding: 6px;
	border: 1px solid rgba(0,0,0,0.3);
}

.highlighter-rouge {
	background: rgba(0,0,0,0.05);
	padding: 1px 2px;
}

figure {
	text-align: center;
}

