body
{
	width: min-content;
	margin-left: 0.5em;
	margin-right: 0.5em;
}

header
{
	width: 60%;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 1em;
}

h1
{
	width: max-content;
	font-size: 16pt;
}

td
{
	padding-left: 0.5em;
	padding-right: 0.5em;
	text-align: center;
	background-size: 100%;
	background-position: bottom;
	background-repeat: no-repeat;
}

td.l0
{
	background-image: url(lines-0.svg);
}

td.l1
{
	background-image: url(lines-1.svg);
}

td.l2
{
	
	background-image: url(lines-2.svg);
}

td.l3
{
	background-image: url(lines-3.svg);
}

hr
{
	width: 2em;
	border: none;
	border-top: 3px solid black;
}

.node
{
	margin-top: 0.1em;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 0.1em;
	border: 0.1em solid black;
	border-radius: 0.5em;
	padding: 0.5em;
	background-color: white;
	width: max-content;
}

.frac
{
	margin-left: auto;
	margin-right: auto;
	width: min-content;
	position: relative;
	top: 0;
	left: 0;
}

.dec
{
	margin-top: 0.5em;
	width: max-content;
}