@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.5rem;
	font-weight: normal;
	font-style: normal;
}
ul {
	/*
	*/
	display: block;
	list-style-type: "• ";
	padding-left: var(--list-padding);
}
li {
	display: list-item;
}
li::marker {
	font-size: 1.2rem;
}
a::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, .ascii {
	line-height: 0.8;
	font-size: min(2.2vw, 1.0rem);
	white-space: pre;
}