a:link {
	color: #0DF;
	text-decoration: none;
}
a:visited {
	color: #9AD;
	text-decoration: none;
}
a:hover {
	color: #9EF;
	text-decoration: underline;
}

body {
	color: #CCC;
}

pre {
	margin: 0 30px 0 30px;
}
pre a:link, pre a:visited {
	color: #FFF;
	text-decoration: none;
}
pre a:hover {
	color: #9EF;
}

#background {
	position: fixed;
	top: 0;
	left: 0;
	min-width: 100%;
	min-height: 100%;
	background-image: linear-gradient(155deg, #603, #402 10%, #024 90%, #036);
	background-color: #222;
	z-index: -1;
}
#container {
	font-size: 16px;
	display: flex;
	justify-content: center;
	align-items: center;
	text-align: left;
	font-family: monospace;
}

/* tree style */

div > ul {
	margin: 0 0 0 35px;
	padding: 0;
}

ul {
	list-style: none;
	margin: 0;
	padding: 0;
}

ul ul {
	padding: 0 0 0 10px;
}

li {
	padding: 3px 0px 3px 20px;
	margin: 0;
	position: relative;
}

li:before {
	content: '';
	display: block;
	position: absolute;
	top: 0;
	left: 0;
	width: 15px;
	height: 100%;
	border: solid #999;
	border-width: 0 0 0 1px;
}

li:last-child:before {
	height: 13px;
}

li:after {
	content: '';
	display: block;
	position: absolute;
	top: 0;
	left: 0;
	width: 15px;
	height: 13px;
	border: solid #999;
	border-width: 0 0 1px 0;
}

span {
	color: #999;
	font-size: 12px;
	/* visibility: hidden; */
}

span.year {
	color: #977;
}

span.downloads {
	color: #779;
}

/* details */

details {
	position: relative;
}

summary {
	display: block;
	cursor: pointer;
	margin-left: 25px;
}

summary::before {
	/* content: '+'; */
	/* font-size: 20px; */
	/* line-height: 16px; */
	/* font-weight: bold; */
	/* color: #FFF; */
	/* text-align: center; */
	content: '';
	display: inline-block;
	position: absolute;
	top: 0;
	left: 0;
	width: 20px;
	height: 20px;
	border-radius: 50%;
	background-color: #0006;
	background-image: url('images/tree-expand-collapse.svg');
	background-position: 0 0;
	z-index: 1;

}

/* li:has(> details)::after {
	width: 20px;
} */

details[open] > summary::before {
	/* content: '–'; */
	background-color: #0006;
	background-position: 20px;
}
