@import url('https://fonts.googleapis.com/css2?family=Righteous&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Space+Mono&display=swap');

.inside {
	border: 3px solid black;
	border-radius: 9px;
	background-color: darkgray;
/*	#EFEFFF;*/

	max-width: 88%;
	padding: 18px;
	margin-top: 24px;
	mragin-bottom: 36px;
	font-family: 'Righteous', cursive;
	font-weight: lighter;
	font-size: 8pt;
	color: darkslategray;
}
.inside img {
	padding: 3px;
}

/* LINKS: */
a {
}
a:link {
	color: #CDFFAE;
	padding-left: 7px;
	padding-right: 2px;
	background: #5F4D55;
	text-decoration: underline;
	text-decoration-color: limegreen;
	border-bottom-right-radius: 3px;
	border-top-right-radius: 4px;
	border-left: solid 3px skyblue;
}
a:visited {
	color: ghostwhite;
	padding-left: 7px;
	padding-right: 2px;
	background: #5F4D55;
	text-decoration: underline;
	text-decoration-color: darkturquoise;
	border-bottom-right-radius: 3px;
	border-top-right-radius: 4px;
	border-left: solid 3px skyblue;
}
a:link:hover {
	color: black;
	padding-left: 5px;
	padding-right: 2px;
	background: #FFFFFE;
	text-decoration: underline;
	text-decoration-color: limegreen;
	border-left: solid 5px palegoldenrod;
}
a:visited:hover {
	color: black;
	padding-left: 5px;
	padding-right: 2px;
	background: #FFFFFE;
	text-decoration: underline;
	text-decoration-color: darkturquoise;
	border-left: solid 5px palegoldenrod;
}

.toppartdiv div {
	line-height: 0.8rem;
	font-size: 0.8rem;
}
.code {
	font-variant-numeric: tabular-nums lining-nums slashed-zero;
	font-feature-settings: 'tnum' on;
	font-size: 1em;
	line-height: 1em;
	letter-spacing: 0;
	margin: 0;
	padding: 0;
	background-color: #CDDE9F;
}