html {
	--text-color: rgb(32, 33, 36);
	--bg-color: white;
	--refgroup-color: yellow;
	--highlighted-line: #e0e0e0;
}

body {
	font-family: sans-serif;
	color: var(--text-color);
	background-color: var(--bg-color);
}

@media(prefers-color-scheme:dark) {
	html {
		--text-color: rgb(232, 234, 237);
		--bg-color: rgb(50,54,57);
		--refgroup-color: #3700b3;
		--highlighted-line: #101010;
	}
}

a {
	color: inherit;
	text-decoration: none;
}

.refgroup {
	background-color: var(--refgroup-color);
}

.lines {
	color: #808080;
}

.highlighted-line {
	background-color: var(--highlighted-line);
}

.code a {
	text-decoration: underline;
}

.code a.def {
	font-weight: bold;
	text-decoration: none;
}

.code a.mref {
	text-decoration: none;
}

.unref {
	border-bottom: 1px dashed red;
}

.mref {
	border-bottom: 1px dashed var(--text-color);
}