:root{ --sidebar-width: 300px; }

body{
	margin: 0;
	font-family: Helvetica, "Segoe UI", Helvetica;
}

nav{
	/*background-color: pink;*/
	width: 98vw;
	height: 275px;
	border-bottom: 3px solid black;
	/*opacity: 0.6;*/
}
#navlinks-div{
	height: 72%;
}	
main{
/*	background-color: lightgreen;*/
	margin-top: -10px;
}

@media (min-width: 815px){
	nav{
		position:fixed;
		width: var(--sidebar-width);
		height: 100vh;
		border-right: 3px solid black;
	}
	#navlinks-div{
		height: 88%;
	}	
	main{
		/*background-color: gray;*/
		margin-left: var(--sidebar-width);
	}
}

#navlinks-div{
	overflow: auto;
}

.nav-link, #nav-header{
	display: block;
	border-top: 1px solid black;
	/*background-color: white;*/
	width: 100%;
	padding: 1em 1em 1em 1.5em;
	box-sizing: border-box;
}
#nav-header{ padding-left: 0.7em;}
a.nav-link:link, a.nav-link:visited{
	color: black;
	text-decoration: none;
}
a.nav-link:hover, a.nav-link:active{
	color: black;
	text-decoration: none;
	background-color: lightgray;
}

.main-section{
	margin: 8px 10px 8px 50px;
	padding: 10px;
	/*background-color: dodgerblue;*/
}

.top-link{
	display: block;
	text-align: right;
	color: #595959;
	font-size: 0.8em;
	text-decoration: none;
/*	color: red;
	background-color: yellow;*/
}
@media(min-width: 815px){
		.top-link {
		display: none;
		background-color: pink;
	}

}

/*.main-section>p{
	background-color: purple;
}*/
.main-section>header{
	margin-left: -20px;
}

header{
	font-size: 1.7em;
	font-weight: 500;
}

code{
	background-color: lightgray;
	padding: 2px;
	border-radius: 3px;
	color: darkred;
}

.codeblock{
	padding: 8px;
	display: block;
	overflow-x: auto;
}
h3{
	font-weight: 500;
	text-decoration: underline;
}