@font-face {
	font-family: "notomono";
	src:
		url("./fonts/notomono/NotoMono-Dot.woff") format("woff");
	font-weight: normal;
	font-style: normal;
}
/*
*/
body, pre {
	font-family: "notomono", monospace;
	font-size: 1.8rem;
	font-weight: normal;
	font-style: normal;
}
@media screen and (max-width: 500px) {
	body, pre {
		font-size: 1.5rem;
	}
}
ul {
	display: block;
	list-style-type: "•  ";
	padding-left: 35px;
	/*
	list-style-position: outside;
	*/
	list-style-position: inside;
}
li {
	display: list-item;
}
li::marker {
	font-size: 1.2rem;
}
details summary {
	/*
	list-style-position: outside;
	*/
	list-style-position: inside;
}
details summary {
	font-size: 1.8rem;
	list-style-type: "▸ ";
}
details[open] summary {
	list-style-type: "▾ ";
}
a:not([download])::after {
	content: attr(href);
}
h1 { margin: 30px 0px; font-size: 2.25rem; }
h2 { margin: 30px 0px; font-size: 2.0rem; }
h3 { margin: 20px 0px; font-size: 1.75rem; }
h4 { margin: 20px 0px; font-size: 1.5rem; }
h5 { margin: 10px 0px; font-size: 1.25rem; }
h6 { margin: 10px 0px; font-size: 1.0rem; }

pre {
	line-height: 0.8;
	font-size: min(2.1vw, 1.0rem);
}