body {
  background-color: white;
  border: #0427BC solid 12px;
  border-radius: 16px;
  padding: 10px;
  margin: 0;
}
html {
  background-color: #0427BC;
}

body {
	font-family: monospace;
}

h4 {
	margin: auto;
}
h5 {
	margin: auto;
}

a.link-blue, a.link-blue:visited, a.link-blue:hover, a.link-blue:active {
	background-color: skyblue;
	color: black;
}
a.link-green, a.link-green:visited, a.link-green:hover, a.link-green:active {
	background-color: lightgreen;
	color: black;
}
a.link-yellow, a.link-yellow:visited, a.link-yellow:hover, a.link-yellow:active {
	background-color: #fcf64e;
	color: black;
}

.small {
	font-variant-caps: small-caps;
}