:root {
	--bgc1: black;
	--bgc2: #111;
	--bgc3: #222;
	--fgc1: white;
	--fgc2: lightgray;
	--fgc3: lightblue;
	--fglinkc: #ae5;
	--fglinkvisitedc: #0cd;
	--fglinkhoverc: cyan;
	--fglinkactivec: #eff;
	--fgchilite: red;
	--fgdecorc: yellow;
	--fgcodec: #aed;
	--bgcodec: var(--bgc2);
}

@media (prefers-color-scheme: light) {
	:root {
		--bgc1: white;
		--bgc2: gray;
		--bgc3: darkgray;
		--fgc1: black;
		--fgc2: gray;
		--fgc3: darkred;
		--fglinkc: blue;
		--fglinkvisitedc: purple;
		--fglinkhoverc: darkblue;
		--fglinkactivec: cyan;
		--fgchilite: red;
		--fgdecorc: darkmagenta;
		--fgcodec: var(--bgc1);
		--bgcodec: var(--fgc1);
	}
}

.current {
	color: var(--fgchilite);
}

.dimmedtext {
	color: var(--fgc2);
}

.dimmedtext a {
	color: var(--fglinkc);
}

.textright {
	width: 100%;
	text-align: right;
}

input, textarea {
	background: var(--bgc2);
	color: var(--fgc2);
}

table {
	border-collapse: collapse;
}

table, th, td, tr {
	border: 1px solid var(--fgdecorc);
}

a {
	text-decoration: underline;
	cursor: pointer;
	color: var(--fglinkc);
}

a:visited {
	color: var(--fglinkvisitedc);
}

a:hover {
	color: var(--fglinkhoverc);
}

a:active {
	color: var(--fglinkactivec);
}

/* comments begin */

	.comment {
		margin-left: .5em;
		border: 1px solid var(--fgdecorc);
		padding: .5em;
	}

	.odd {
		background-color: var(--bgc2);
	}

	.comment small {
		color: var(--fgc2);
	}

	.even {
		background-color: var(--bgc3);
	}

	.showhide-checkbox {
		display: none;
	}

	.commentform iframe, .commentform textarea {
		width: 90%;
		margin-left: 5%;
		height: 7em
	}
	
	.commentform iframe {
		height: 2em;
	}

	.commentform input[type=text] {
		margin-left: 5%;
		width: 75%;
	}

	.showhide-hiddenelement {
		display: none;
	}

	.showhide-checkbox:checked + .showhide-hiddenelement {
		display: block; /* such element is shown by default and hidden on click */
	}

	.showhide-checkbox:checked + .showhide-shownelement {
		display: none; /* such element is hidden by default and shown on click */
	}

/* comments end */

@media screen and (min-width: 600px) {
	body {
		margin-left: 10%;
		margin-right: 10%;
	}
}

body {
	/* font-size: 18px;
	line-height: 1.4; */
	font-family: sans-serif;
	background-color: var(--bgc1);
	color: var(--fgc1);
}

code {
	color: var(--fgcodec);
	background-color: var(--bgcodec);
}