/*
@import "/.assets/source-serif-pro/source-serif-pro.css";
*/

html {
	overflow-y: scroll;
}

body {
	font: 12pt/1.3 "Source Serif Pro", "Times New Roman", "Times", serif;
	/* Disable the new-style interrupted underlines (CSS 4) */
	text-decoration-skip-ink: none;
}

@media screen {
	body {
		max-width: 700px;
		margin: 0 auto;
		padding: 1em;
	}
}

h1 {
	font: 24pt "Times New Roman", "TeX Gyre Termes", "Times", serif;
	margin-bottom: 0;
}

h2 {
	font: 18pt "Times New Roman", "TeX Gyre Termes", "Times", serif;
}

h3 {
	font: 15pt "Times New Roman", "TeX Gyre Termes", "Times", serif;
}

code, samp, pre {
	font-family: "Go Mono", "Cascadia Mono", "Cousine", "Consolas", "Lucida Console", monospace;
	font-size: 90%;
}

a:link {
	color: darkblue;
}

a:visited {
	color: darkred;
}

h1 a:link,
h1 a:visited {
	color: black;
	/* Hack: Use standard underline in old Netscape */
	/*/*/
	text-decoration: none;
	border-bottom: 1px dashed #888;
	/* */
}

* html h1 a:link,
* html h1 a:visited {
	/* Hack: Use standard underline in old IE */
	text-decoration: underline;
	border-bottom: none;
}

h1 a:first-child {
	font-weight: bold;
}

h1.host a:first-child {
	font-weight: normal;
}

p.footer {
	font-size: smaller;
}

p.footer, p.footer a {
	color: #999;
}

p.ast {
	text-align: center;
}

p.seealso {
	font-size: smaller;
}

pre.wrap {
	white-space: pre-wrap;
	word-wrap: break-word;
}

li {
	margin-top: 0.3em;
}

hr {
	max-width: 66%;
	height: 1px;
	background: lightgray;
	border: none;
}

dt {
	font-weight: bold;
}