*
{
  box-sizing: border-box;
}

body
{
  /* font-family: courier new, monospace; */
  font-family: courier new, monospace; 
  /* color: #0f8; */
  /* color: #86f73a; */
  color: #86f73a;
  margin: 15px;
  font-size: 15px;
  height: 100vh;
  /* background-color: #1d1f20; */
  background-color: #204a87;
  
}
 
/* visited link */
a:visited {
    color: #86f73a;
}

/* mouse over link */
a:hover {
    color: hotpink;
}

#terminal
{
  white-space: pre-wrap;
  line-height: 1.4;
}

#cursor
{
  display: inline-block;
  height: 1.35em;
  width: 0.7em;
  vertical-align: middle;
  background-color: #fff;
}

.invisible
{
  opacity: 0;
}

a {
  color: inherit;
  text-decoration: underline;
}