/* One font, self-hosted, covering all 200+ glyphs the generator emits at a
   uniform advance. No fallback chain, no borrowed glyphs, no sheared grid. */
@font-face {
	font-family: "JuliaMono";
	src: url("fonts/JuliaMono-Regular.woff2") format("woff2");
	font-display: block;
}

html, body {
	margin: 0;
	padding: 0;
	font-family: "JuliaMono", monospace;
	font-size: 20px;
	background-color: #000000;
	color: #FFFFFF;
	overflow: hidden;
}

p {
	white-space: pre;
	margin: 0;
	padding: 10px;
	/* JuliaMono's own hhea metrics: 2380/2000em. at this advance its
	   diagonals seam, its shades tile, and its verticals weld. measured
	   empirically against 1.0 (overlap) and 1.425 (gaps). */
	line-height: 1.19;
}

h1 {
	font-family: roman, serif;
}

.head {
	cursor: pointer;
	color: #0000EE;
}

.head:hover {
	background-color: #0000EE;
	color: #FFFFFF;
}

a, .wart {
	color: #0000EE;
	text-decoration: none;
}

a:hover, .wart:hover {
	background-color: #0000EE;
	color: #FFFFFF;
}