body {
  margin-left: 200px;
  margin-top: 200px;
}

html * {
  font-size: 2vh;
  line-height: 1.5;
  font-family: monospace;
}

h1 {
  margin-top: 100px;
  margin-bottom: 100px;
  font-family: 'Courier New';
  color: rgb(255, 255, 255);
  margin-right: 200px;
}

h2 {
  margin-top: 50px;
  margin-bottom: 50px;
  font-family: 'Courier New';
  color: rgb(255, 0, 0);
  margin-right: 200px;
}

h3 {
  padding-top: 5vh;
  font-family: 'Courier New';
  font-size: 300%;
  color: rgb(114, 114, 114);
  padding-bottom: 5vh;
  margin: 0;
  height: 5vh;
}

h4 {
margin-top: 100px;
margin-bottom: 100px;
font-family: 'Courier New';
font-size: 200%;
color: rgb(0, 0, 0);
margin-right: 200px;
}

h5 {
margin-top: 100px;
font-family: 'Courier New';
font-size: 300%;
color: rgb(255, 255, 255);
margin-right: 200px;
}

h6 {
  font-family: 'Courier New';
  font-size: 1000%;
  line-height: 0.5;
  color: rgb(255, 255, 255);
  margin-top: 5vh;
  margin-bottom: 5vh;
  margin-right: 50px;
}

p {
  font-family: monospace;
}

.subtitle{
margin-bottom: 40px;
}

.vertical-menu {
width: 300px;
}

.vertical-menu a {
  font-family: monospace;
  font-size: 120%;
  background-color: none;
  color: black;
  display: block;
  padding: 6px;
  text-decoration: none;
}

.vertical-menu a:hover {
  background-color: rgb(231, 230, 230);
}

.vertical-menu a.active {
  background-color: rgb(139, 139, 139);
  color: rgb(255, 255, 255);
}

.textcontainer {
  margin-top: 100px;
}

form {
margin-bottom: 100px;
}

a:link {
color: rgb(0, 85, 255);
text-decoration: none;
}

a:hover {
color:rgb(114, 114, 114);
text-decoration: none;
}

@media only screen and (max-width: 600px) {

body{
  margin-left: 8vw;
  margin-top: 8vw;
}

p {
  font-family: monospace;
  font-size: 80%;
}

h1 {
  margin-top: 5vh;
  margin-bottom: 5vh;
  font-family: 'Courier New';
  font-size: 70%;
  color: rgb(255, 255, 255);
  margin-right: 200px;
}

h2 {
  margin-top: 5vh;
  margin-bottom: 5vh;
  font-family: 'Courier New';
  color: rgb(255, 0, 0);
  margin-right: 50px;
}

h3 {
  padding-top: 5vh;
  font-family: 'Courier New';
  font-size: 200%;
  color: rgb(114, 114, 114);
  padding-bottom: 5vh;
  margin: 0;
  height: 5vh;
}

h4 {
  margin-top: 5vh;
  margin-bottom: 5vh;
  font-family: 'Courier New';
  color: rgb(0, 0, 0);
  margin-right: 200px;
}

h5 {
  margin-top: 5vh;
  font-family: 'Courier New';
  font-size: 200%;
  color: rgb(255, 255, 255);
  margin-right: 50px;
}

h6 {
  font-family: 'Courier New';
  font-size: 600%;
  line-height: 0.35;
  color: rgb(255, 255, 255);
  margin-top: 5vh;
  margin-bottom: 5vh;
  margin-right: 50px;
}

video {
  margin-top: 5vh;
  max-width: 300px;
max-height: 200px;
}

.textcontainer {
  margin-top: 36vh;
}

}