/* import the monospace font */
@font-face {
	font-family: monospace;
	src: url(NotoSansMono.ttf);
}

/* define variables */
:root {
	--background-color: #fff;
	--selected-item-color: rgb(202, 255, 177);
	--algo-selected-item-color: rgb(235, 143, 143);

	--tui-div-line-height: 20px;
}

/* remove body padding and color background */
body {
	margin: 0px;
	background-color: var(--background-color);
}

#tui {
	overflow: hidden;
}

#tui span {
	background-color: var(--background-color);
	font-family: monospace;
	font-size: 20px;
	white-space: pre;
}

#tui div {
	line-height: var(--tui-div-line-height);
}