@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: "• ";
}
li {
	display: list-item;
}
li::marker {
	font-size: 1.2rem;
}
a::after {
	content: attr(href);
}
h1 {
	margin: 30px 0px;
}
pre {
	line-height: 0.8;
	font-size: min(2.2vw, 1.0rem);
}