@font-face {
  font-family: "Px437 DOS/V re. JPN12";
  src: url("static_elements/px437_12.ttf");
}

@font-face {
  font-family: "Px437 DOS/V re. JPN16";
  src: url("static_elements/px437_16.ttf");
}

body {
	background-image: linear-gradient(to right, purple , #008F8F);
	background-attachment: fixed; 
	text-shadow: 0px 0px 1px rgba(255,0,0,0);
	font-smooth: never;
	-webkit-font-smoothing : none;
} 

h1 {
	text-align: center;
	font-family: "Px437 DOS/V re. JPN16", monospace;
	color: white;
  font-size: 32px;
}

h3 {
	text-align: center;
	font-family: "Px437 DOS/V re. JPN16", monospace;
  font-size: 16px;
	color: white;
	margin: 0%;
}

h4 {
  text-align: center;
	font-family: "Px437 DOS/V re. JPN12", monospace;
  font-size: 12px;
	color: white;
	margin: 0%;
}

pre {
  font-family: monospace;
  font-size: 12px;
  color: white;
}

a {
	background: linear-gradient(to right, #FF00FF, #00FFFF);
	-webkit-background-clip: text;
	-webkit-text-fill-color: transparent;
	text-decoration:none;
	font-weight: bold;
  font-size: 16px;
  font-family: "Px437 DOS/V re. JPN16", monospace;
}

hr {
  border-color: #5B5B66;
  color: #5B5B66;
}

.statusbox {
	font-family: monospace;
	font-size: 10px;
	text-align: center;
	color: white;
	display: table;
	margin-right: auto;
	margin-left: auto;
	white-space: pre-wrap;
}