@import url('https://fonts.cdnfonts.com/css/vcr-osd-mono');

body{
  background-image:url("redsquarebg.png");
  background-repeat:repeat;
  display:flex;
  flex-direction:column;
  justify-content:center;
  font-family:"VCR OSD Mono", sans-serif;
}

.top{
  width:1180px;
  height:25px;
  background:black;
  margin:0 auto;
  margin-top:140px;
  padding:10px;
  text-align:center;
  border:inset 20px red;
  border-bottom:transparent;
}

.top a{
  color:white;
}
.container{
  width:1200px;
  height:425px;
  background:white;
  display:flex;
  margin:0 auto;
  border:inset 20px red;
  border-top:transparent;
}
.buttons{
  margin:10px;
  overflow-y:scroll;
  width:500px;
  height:400px;
}