:root {
	--document-margin: 15pt;
}

h1 { font-size: 1.50em; }
h2 { font-size: 1.40em; }
h3 { font-size: 1.20em; }
h4 { font-size: 1.00em; }
h5 { font-size: 0.85em; }
h6 { font-size: 0.75em; }

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
	text-decoration: none;
}

h1, h2, h3, h4, h5, h6 {
	margin-top: 1.5em;
}

@media (hover: hover) {
	/* For devices which support hover, hide the heading URL fragment
	   link/icon until the mouse hovers over the heading */

	h1:hover .heading-anchor,
	h2:hover .heading-anchor,
	h3:hover .heading-anchor,
	h4:hover .heading-anchor,
	h5:hover .heading-anchor,
	h6:hover .heading-anchor {
		visibility: visible;
	}

	h1 .heading-anchor,
	h2 .heading-anchor,
	h3 .heading-anchor,
	h4 .heading-anchor,
	h5 .heading-anchor,
	h6 .heading-anchor {
		visibility: hidden;
	}
}

.heading-anchor {
	/* this is used on an "aside" tag so that it's not shown in the browser's reader mode */
	display: inline;
	color: grey;
	margin-left: 0.5em;
	font-size: 0.75em;
}

.heading-anchor a:hover {
	text-decoration: none;
}

.heading-anchor img {
	height: 1em;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

.dont-show {
	display: none;
}

/* Improvements to Hugo Chroma syntax highlighting */

.highlight {
	margin-top: 1em;
	margin-bottom: 1em;
	/* set the tab size for browsers that support it */
	tab-size: 4;
	-moz-tab-size: 4;
	/* needed for the iPhone so that the two columns (line numbers and code) don't have different font sizes */
	-webkit-text-size-adjust: 100%;
}

.highlight > * {
	padding: 0.5em;
	border-width: 2px;
	border-style: solid;
}

.highlight pre {
	margin: 0px;
	overflow-x: auto;
	word-wrap: normal;
}

.highlight td.lntd pre {
	/* needed to fix an iPhone scrolling bug */
	overflow-x: hidden;
}

.highlight td.lntd:last-child {
	/* needed until this bug is fixed: https://github.com/alecthomas/chroma/issues/225 */
	width: 100%;
}

/* Improvements to inline code blocks */

code {
	font-size: 98%;
}

:not(pre) > code {
	/* inline code elements */
	background-color: rgba(25, 25, 25, 0.05);
	border-radius: 5px;
	font-size: 80%;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	padding-left: 0.4em;
	padding-right: 0.4em;
}

/* Formatting for "notice" shortcodes */

.notice {
	margin: 1.5em 0;
	width: 70%;
	margin-left: auto;
	margin-right: auto;
	background-color: #E9E9E9;
}

@media only screen and (max-width: 500pt) {
	.notice {
		width: 100%;
	}
}

.notice > hr {
	display: none; /* only want the child hr elements to appear if css is disabled */
}

.notice .notice-title {
	margin: 0;
	padding: 0.4em;
	line-height: 1em;
	background-color: #D5D5D5;
}

.notice .notice-title span {
	vertical-align: -10%; /* we don't want the font descender space to be centered as well */
}

.notice .notice-title .notice-title-icon {
	display: inline-block;
	vertical-align: middle;
	margin-left: 0.15em;
	margin-right: 0.25em;
	height: 0.85em;
}

.notice .notice-body {
	padding: 0.6em;
}

.notice .notice-body p:first-child {
	margin-top: 0;
}

.notice .notice-body p {
	margin: 0.8em 0;
}

/* ************************ */

blockquote {
	color: #404040;
	border-left: 0.25em solid #CCC;
	padding-left: 0.5em;
	margin-left: 1.5em;
}

.title-header {
	margin-top: 1.5em;
	margin-bottom: 1.5em;
}

.title-header > h1{
	margin-top: 0;
	margin-bottom: 0.3em;
}

.title-header-date {
	color: rgb(90, 90, 90);
	font-size: 80%;
}

.title-list > h2, .title-list > h3, .title-list > h4, .title-list > h5, .title-list > h6{
	margin-bottom: 0.1em;
}

.body-list p {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

.title-list-date {
	color: rgb(90, 90, 90);
	font-size: 80%;
}

.table-of-contents {
	border-width: 2px;
	border-style: solid;
	padding: 1em;
	margin-bottom: 2em;
	font-size: 0.9em;
}

.table-of-contents nav > ul {
	/* only the most-parent ul element */
	margin-bottom: 0;
}

.table-of-contents ul {
	list-style: none;
	padding-left: 0;
}

.table-of-contents li {
	margin-top: 0.5em;
}

.table-of-contents ul ul {
	list-style: none;
	padding-left: 1.0em;
}

.table-of-contents-title {
	font-size: 1.2em;
	font-weight: bold;
}

.section-list {
	padding-left: 0;
}

.section-list li {
	display: inline-block;
	margin-right: 0.5em;
}

.section-list li:last-child {
	margin-right: 0em;
}

.section-list li > * {
	background-color: rgba(25, 25, 25, 0.05);
	border-radius: 5px;
	font-size: 90%;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	padding-left: 0.4em;
	padding-right: 0.4em;
}

.links {
	font-size: 120%;
	list-style-type: none;
	line-height: 1;
	padding: 0;
	margin: 0;
	margin-top: 9pt;
	display: flex;
	flex-direction: row;
	/* Not sure what we can do other than continue the links on the next line.
	 * It's ugly, but probably better than hiding them altogether. */
	flex-wrap: wrap;
	row-gap: 0.3em;
}

.links li {
	margin-right: 1em;
}

.links li > * {
	display:inline-block;
}

.links li:last-child {
	margin-right: 0;
}

.links a {
	text-decoration: none;
	color: inherit;
}

.links a:hover {
	color: #505050;
}

.overlay {
	position: fixed;
	visibility: hidden;
	opacity: 0;
	width: 100%;
	height: 100%;
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background-color: rgba(0, 0, 0, 0.7);
	z-index: 2;
	/* for iOS: https://stackoverflow.com/a/11885330 */
	-webkit-tap-highlight-color: rgba(0, 0, 0, 0);
}

.header-right {
	/* want the images to have padding to make them easier to click, but we still want them aligned correctly */
	--label-padding: 0.3em;

	position: absolute;
	top: calc(var(--document-margin) - var(--label-padding));
	right: calc(var(--document-margin) - var(--label-padding));
	display: flex;
}

.header-right > * {
	margin-left: 0.4em;
}

.clickable-header-label {
	cursor: pointer;
	padding: var(--label-padding);
}

.clickable-header-label img {
	height: 1em;
	width: auto; /* to override the <img width="__"> attribute when css is supported */
}

#show-hide-menu-label {
	display: none;
}

#show-hide-menu-label * {
	/* duration for the rotation transition of the hamburger image */
	transition-duration: 100ms;
}

body {
	font-size: 13pt;
	font-family: Lato, Arial, Helvetica, "Liberation Sans", sans-serif;
	line-height: 1.45;
	margin: 0;
}

.title {
	font-weight: bold;
	font-size: 140%;
	line-height: 1em;
}

.title a {
	text-decoration: none;
	color: inherit;
}

.header {
	background-color: lightgray;
	background-size: cover;
	background-position: bottom;
	width: 100%;
	/* header must be above the overlay */
	/* this also prevents images with css filters from appearing above the header when in portrait mode */
	z-index: 3;
	/* z-index doesn't apply to the default 'static' position */
	position: relative;
}

.header-content {
	padding: var(--document-margin);
	position: relative; /* so that "position: absolute" works for the menu label */
}

.body {
	display: inline-block;
	width: 100%;
}

.body-content {
	margin: var(--document-margin);
	word-wrap: break-word;
}

/* Image/Figure formatting */

.body-content :not(figure) img {
	/* regular image elements should be inline elements */
	max-width: 100%;
	max-height: 60vw; /* if the image is really tall, we don't want the width to be 100% */
}

.body-content figure {
	margin-left: auto;
	margin-right: auto;
	max-width: 70%;
}

.body-content figure img {
	display: block;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 0.5em;
	max-width: 100%;
	max-height: 40vw; /* if the image is really tall, we don't want the width to be 70% */
}

.body-content figure:not(.color-adapting-image) img {
	/* if the image is designed to adapt to the theme, then don't use a background */
	background-color: rgb(255, 255, 255); /* images with transparent backgrounds typically assume a light background */
}

.body-content figure figcaption {
	font-size: 90%;
	line-height: 1.5em;
	padding-bottom: 0.3em;
	border-bottom: 2px solid lightgray;
}

.body-content figure figcaption * {
	margin: 0;
}

@media only screen and (orientation: portrait) {
	.body-content :not(figure) img,
	.body-content figure img {
		/* need to target both so that they're more specific */
		max-height: 100vw;
	}
}

@media only screen and (max-width: 400pt) {
	.body-content figure {
		max-width: 100%;
	}

	.body-content figure figcaption {
		margin-left: 5%;
		margin-right: 5%;
	}
}

/* ************************ */

.main {
	width: 700pt; /* make sure to also change this in the media query */
	margin: 0 auto;
	margin-top: 10pt;
	margin-bottom: 10pt;
	box-sizing: border-box;
	box-shadow: 0 0 10px rgba(50, 50, 50, .17);
}

.footer {
	text-align: center;
	font-size: 80%;
}


@media only screen and (orientation: portrait) {
	.header {
		top: 0;
		position: sticky;
		position: -webkit-sticky; /* needed for iOS */
		box-shadow: 0 0 1em rgba(30, 30, 30, .3);
	}

	.body-content :target::before {
		/* When linking to tags with 'id's (example:
		   'website.com/post/#heading'), make them
		   appear lower down the page so that they
		   don't appear under the sticky header set
		   above.
		   See: https://stackoverflow.com/a/24298427
		   Note that this causes the cursor text
		   selection of the target to behave
		   undesirably.
		*/
		content: '';
		display: block;
		height: 3em;
		margin-top: -3em;
		visibility: hidden;
		pointer-events: none;
	}
}


@media only screen and (max-width: 700pt) {
	.main {
		width: 100%;
		margin-top: 0;
		margin-bottom: 0;
	}

	body {
		font-size: 12pt;
		background-color: white;
	}
}

@media only screen and (max-width: 400pt) {
	:root {
		--document-margin: 10pt;
	}

	.header-right {
		top: 0;
		height: 100%;
		align-items: center;
	}

	.clickable-header-label {
		display: inline-flex;
	}

	.clickable-header-label * {
		vertical-align: middle;
	}

	#show-hide-menu-label {
		display: inherit;
	}

	.show-hide-menu-input:checked ~ .main .links {
		display: inherit;
	}

	.show-hide-menu-input:checked ~ .main #show-hide-menu-label > img {
		transform: rotate(90deg);
	}

	.show-hide-menu-input:checked ~ .overlay {
		visibility: visible;
		opacity: 1;
	}

	/* prevent scrolling the main body; must be on html element and not body for iOS */
	html:has(.show-hide-menu-input:checked) {
		overflow: hidden;
		height: 100%;
		/* prevent scrolling (of everything) on iOS */
		/* any element with 'overflow-y: scroll' will allow the body to scroll for some reason */
		/* use 'pan-zoom' to allow users to zoom if they need to, even though it makes scrolling weird */
		touch-action: pan-zoom;
	}

	.links {
		/* vertical padding between list items */
		--entry-padding: 9pt;

		display: none;
		position: absolute;
		left: 0;
		right: 0;
		padding-left: var(--document-margin);
		padding-right: var(--document-margin);
		padding-top: calc(var(--document-margin) - var(--entry-padding));
		padding-bottom: calc(var(--document-margin) - var(--entry-padding));

		font-size: 100%;
		background-color: rgb(247, 247, 247);
		border-top: solid 1px;
		border-bottom: solid 1px;
	}

	.links li {
		border-bottom: solid 1px;
		/* override all previously set margins */
		margin: 0;
	}

	.links li:last-child {
		border-bottom: none;
	}

	.links li > * {
		/* make the links easily clickable */
		width: 100%;
		padding-top: var(--entry-padding);
		padding-bottom: var(--entry-padding);
	}
}

@media print {
	:root {
		--document-margin: 0pt;
	}

	body {
		background-color: initial !important;
	}

	.main {
		margin-top: 0;
		margin-bottom: 0;
		width: 100%;
		box-shadow: none !important;
	}

	.header {
		background-color: initial !important;
		background-image: none !important;
	}

	.header-right {
		display: none;
	}

	.links {
		display: none;
	}
}