.line{
        width:700px;
        border:1px solid black;
        margin-left:0cm;
        margin-right:0cm;
        border-color:StreetBlue;
}

.scroll {
        overflow-y:scroll;
        height:200px;
        width:400px;
}

table {
        font-family: arial, sans-serif;
        border-collapse: collapse;
        width: 50%;
}

td, th {
        border: 1px solid #dddddd;
        text-algn: left;
        padding: 8px;
}

code {
        font-family: Consolas, "courier new";
        color: crimson;
        background-color: #f1f1f1;
        padding: 2px;
        font-size: 105%;
}

div.container {

        text-align: center;

}

ul.myUL {

        display: inline-block;
        text-align: left;

}

html {
	overflow-y: scroll;
}

body {
	background-color: #fff;
	color: #000;
	font-family: sans-serif;
	padding: 0;
	margin: 0;
}

pre, code {
	margin: 0;
}

#header a, #nav a, #menu a {
	text-decoration: none;
}

#nav a:hover {
	background-color: #ddd;
}

#menu {
	clear: both;
	color: #069;
	overflow: hidden;
	background-color: #17a;
	padding: 0.7ex;
	border-top: 1px solid #ccc;
	border-bottom: 1px solid #069;
}

#header2 {
        text-align: center;
        font-size: 1.36em;
}

#menu a {
	padding: 0.5ex 1ex;
	color: #fff;
}

#menu a:hover {
	background-color: #069;
}

#header {
	background-color: #eee;
	clear: both;
	color: #555;
        padding: 0.7ex 0.7ex 0.7ex 0.7em; 
}

#headerLink {
	color: #17a;
	margin-left: 5px;
}

#header3 {
        font-size: 1.78em;
}

h1 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.4em;
}

h2 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.3em;
}

h3 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 1.0em;
}

h4 {
	margin: 1em 1ex 0.5ex 0;
	font-size: 0.9em;
}

#headerSubtitle {
	font-size: 0.75em;
	font-style: italic;
	margin-left: 1em;
}

#content {
	clear: both;
	margin: 0;
	padding: 0;
}

#nav {
	float: left;
	margin: 0 1px 0 0;
	padding: 0 0;
	border-right: 1px solid #646464;
	width: 120px;
}

#nav ul {
	margin: 0;
	padding: 0;
}

#nav li {
	list-style: none;
	padding: 0;
	margin: 0;
}

#nav li ul {
	padding-left: 0.6em !important;
}

#nav li a {
	display: block;
	margin: 0;
	padding: 0.8ex 2em 0.8ex 1em;
}

#nav p { 
        padding-left: 0.6em;

}

#nav_form {
        margin-left: 0.5em;
}

#main {
	margin: 0 0 0 200px;
	max-width: 50em;
	padding: 1.5em;
}

.left {
	float: left;
	margin: 0;
	padding: 0;
}

.right {
	float: right;
	margin: 0;
	padding: 0;
}

.hidden {
	display: none;
}

@media (prefers-color-scheme: dark) {
	body {
		background-color: #000;
		color: #bdbdbd;
	}
	#menu {
		border-top: 1px solid #222;
	}
	#header {
		background-color: #111;
	}
	#nav a:hover {
		background-color: #222;
	}
	blockquote, pre, code {
		background-color: #111;
		border-color: #222;
	}
	a {
		color: #56c8ff;
	}
	#main img[src$=svg] {
		filter: invert(1);
	}
}
