@font-face {
  font-family: 'W95FA';
  src: url(https://foxysplace.neocities.org/font/W95FA-webfont.woff);
}
* {
  font-family: "W95FA";
}

div {
    border-style: solid;
    border-color: #c0c0c0;;
    
}

.header {
    border-style:solid;
    border-color:#808080;
    color: white;
    background-image: linear-gradient(to right, blue, cyan);
}

.header button{
  float:right;
}

.engine {
  border-style:solid;
  border-color:#808080;
  color: white;
}