html, body {
 	height: 100%;	
}

body {
	background-color: #2e3f47;
	color: black;
	font-family: Verdana;
	padding: 0;
	margin: 0;
}

.header {
	color: white;
	background: #5e95a1;
	border-bottom: 5px solid #e93250;
	border-radius: 0;
	margin: 0;
	padding: 10px;
	min-width: 600px;
	width: 99%;
	position: fixed;
    top: 0;
}

.header-link:link,
.header-link:visited {
	color: #2e3f47;
	text-decoration: none;
	font-weight: bold;
}

.header-link:hover,
.header-link:active {
	color: white;
	text-decoration: none;
	font-weight: bold;
}

.navigation {
	color: white;
	border: 0;
	border-radius: 0;
	margin: 0;
	padding: 0;
	padding-right: 10px;
	float: right;
	white-space: nowrap;
}

.navigation-link:link,
.navigation-link:visited {
	color: white;
	text-decoration: none;
}

.navigation-link:hover,
.navigation-link:active {
	color: white;
	text-decoration: underline;
}

.main, .bookmarks, .codesnippets {
	color: white;
	background: #2e3f47;
	border: 0;
	border-radius: 0;
	margin: 0;
	padding: 10px;
	padding-top: 30px;
	max-width: fit-content;
	margin-left: auto;
	margin-right: auto;
	height: 99%;
	min-width: 500px;
}

.main  a:link, a:visited,
.bookmarks  a:link, a:visited,
.codesnippets a:link, a:visited {
  color: #5e95a1;
  text-decoration: underline;
}

.main  a:hover, a:active,
.bookmarks  a:hover, a:active,
.codesnippets a:hover, a:active {
	color: #e93250;
	text-decoration: underline;
}

.banner {
	text-align: right;
	color: white;
	border: 0;
	border-radius: 0;
	margin: 0;
	padding-bottom: 10px;
	padding-right: 15px;
}

.footer {
	text-align: right;
	color: white;
	background: #5e95a1;
	border-top: 5px solid #e93250;
	border-radius: 0;
	margin: 0;
	padding: 10px;
	padding-right: 20px;
}

.footer-info {
	float: left;
	display: flex;
	align-items: center;
	color: #2e3f47;
	font-size: x-small;
	border: 0;
	background: #5e95a1;
	border-radius: 0;
	margin-top: 3px;
	padding: 0;
}

.footer-link:link,
.footer-link:visited {
	color: #2e3f47;
	font-size: x-small;
	text-decoration: none;
}

.footer-link:hover,
.footer-link:active {
	color: navy;
	font-size: x-small;
	text-decoration: none;
}

.jump-to-top:link,
.jump-to-top:visited {
	color: white;
	text-decoration: none;
	font-weight: bold;
}

.jump-to-top:hover,
.jump-to-top:active {
	color: #e93250;
	text-decoration: none;
	font-weight: bold;
}