@import url(//fonts.googleapis.com/css?family=Source+Serif+Pro:400,400italic,700,700italic);
@import url(//fonts.googleapis.com/css?family=Libre+Baskerville:400,400italic,700);
@import url(//fonts.googleapis.com/css?family=Source+Code+Pro:400,400italic,700,700italic);

/* normalize.css v3.0.0 | MIT License | git.io/normalize */
html {
	font-family: sans-serif;
	-ms-text-size-adjust: 100%;
	-webkit-text-size-adjust: 100%
}

body {
	margin: 0;
	font-family: "Source Serif Pro", "Libre Baskerville", Baskerville, Georgia, serif;
	background-color: #f8f8f8;
	color: #111;
	line-height: 1.3;
	text-align: justify;
	-moz-hyphens: auto;
	-ms-hyphens: auto;
	-webkit-hyphens: auto;
	hyphens: auto
}

@media (max-width: 400px) {
	body {
		font-size: 12px;
		margin-left: 10px;
		margin-right: 10px;
		margin-top: 10px;
		margin-bottom: 15px
	}
}

@media (min-width: 401px) and (max-width: 600px) {
	body {
		font-size: 14px;
		margin-left: 10px;
		margin-right: 10px;
		margin-top: 10px;
		margin-bottom: 15px
	}
}

@media (min-width: 601px) and (max-width: 900px) {
	body {
		font-size: 15px;
		margin-left: 100px;
		margin-right: 100px;
		margin-top: 20px;
		margin-bottom: 25px
	}
}

@media (min-width: 901px) and (max-width: 1800px) {
	body {
		font-size: 17px;
		margin-left: 200px;
		margin-right: 200px;
		margin-top: 30px;
		margin-bottom: 25px;
		max-width: 800px
	}
}

@media (min-width: 1801px) {
	body {
		font-size: 18px;
		margin-left: 20%;
		margin-right: 20%;
		margin-top: 30px;
		margin-bottom: 25px;
		max-width: 1000px
	}
}

p {
	margin-top: 10px;
	margin-bottom: 18px
}

em {
	font-style: italic
}

strong {
	font-weight: bold
}

h1,
h2,
h3,
h4,
h5,
h6 {
	font-weight: bold;
	padding-top: 0.25em;
	margin-bottom: 0.15em
}

header {
	line-height: 2.475em;
	padding-bottom: 0.7em;
	border-bottom: 1px solid #bbb;
	margin-bottom: 1.2em
}

header>h1 {
	border: none;
	padding: 0;
	margin: 0;
	font-size: 225%
}

header>h2 {
	border: none;
	padding: 0;
	margin: 0;
	font-style: normal;
	font-size: 175%
}

header>h3 {
	padding: 0;
	margin: 0;
	font-size: 125%;
	font-style: italic
}

header+h1 {
	border-top: none;
	padding-top: 0px
}

h1 {
	border-top: 1px solid #bbb;
	padding-top: 15px;
	font-size: 150%;
	margin-bottom: 10px
}

h1:first-of-type {
	border: none
}

h2 {
	font-size: 125%;
	font-style: italic
}

h3 {
	font-size: 105%;
	font-style: italic
}

hr {
	border: 0px;
	border-top: 1px solid #bbb;
	width: 100%;
	height: 0px
}

hr+h1 {
	border-top: none;
	padding-top: 0px
}

ul,
ol {
	font-size: 90%;
	margin-top: 10px;
	margin-bottom: 15px;
	padding-left: 30px
}

ul {
	list-style: circle
}

ol {
	list-style: decimal
}

ul ul,
ol ol,
ul ol,
ol ul {
	font-size: inherit
}

li {
	margin-top: 5px;
	margin-bottom: 7px
}

q,
blockquote,
dd {
	font-style: italic;
	font-size: 90%
}

blockquote,
dd {
	quotes: none;
	border-left: 0.35em #bbb solid;
	padding-left: 1.15em;
	margin: 0 1.5em 0 0
}

blockquote blockquote,
dd blockquote,
blockquote dd,
dd dd,
ol blockquote,
ol dd,
ul blockquote,
ul dd,
blockquote ol,
dd ol,
blockquote ul,
dd ul {
	font-size: inherit
}

a,
a:link,
a:visited,
a:hover {
	color: inherit;
	text-decoration: none;
	border-bottom: 1px dashed #111
}

a:hover,
a:link:hover,
a:visited:hover,
a:hover:hover {
	border-bottom-style: solid
}

code {
	font-family: "Source Code Pro", "Consolas", "Monaco", monospace;
	font-size: 85%;
	background-color: #ddd;
	border: 1px solid #bbb;
	padding: 0px 0.15em 0px 0.15em;
	-webkit-border-radius: 3px;
	-moz-border-radius: 3px;
	border-radius: 3px
}

pre {
	margin-right: 1.5em;
	display: block
}

pre>code {
	display: block;
	font-size: 70%;
	padding: 10px;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
	overflow-x: auto
}

.headshot {
	float: right;
	margin-left: 10px;
	width: 20%;
	height: auto;
}

/* Header navigation styling */
.header-nav {
	display: flex;
	justify-content: space-between;
	align-items: center;
	margin-bottom: 0.7em;
	padding-bottom: 0.7em;
	border-bottom: 1px solid #bbb;
}

.header-nav .name {
	font-style: italic;
	font-weight: bold;
}

.header-nav .nav-links {
	list-style: none;
	padding: 0;
	margin: 0;
	display: flex;
	gap: 0.5em;
}

.header-nav .nav-links li {
	margin: 0;
}

.header-nav .nav-links a {
	margin: 0;
}

/* Publications list */
.pub-item {
	margin-bottom: 20px;
	padding-bottom: 15px;
}

.pub-title {
	font-weight: bold;
	margin-bottom: 5px;
}

.pub-authors {
	margin-bottom: 5px;
}

.pub-venue {
	font-style: italic;
	margin-bottom: 5px;
}

.pub-links {
	margin-top: 8px;
}

.pub-links a {
	margin-right: 15px;
}

/* Teaching */
.course-item {
	margin-bottom: 25px;
	padding-bottom: 15px;
}

.course-title {
	font-weight: bold;
	margin-bottom: 5px;
}

.course-info {
	font-size: 90%;
	color: #666;
	margin-bottom: 5px;
}