@font-face {
  font-family: "Pixeldub";
  src: url("pixeldub.ttf");
}
body{
    background-color: black;
}
#content{
    width: 600px;
    margin: 0 auto;
}
#instructions{
    font-family: Pixeldub;
    color: WHITE;
    font-size: 18px;
    font-weight: 400;
    text-align: center;
    background: black;
    margin: 0 0 25px;
    overflow: hidden;
    border: 2px solid #0000FF;
}
#display {
    font-family: Pixeldub;
    font-size: 80px;
    margin-top: 20px;
    margin-bottom: 20px;
    background-color: black;
    border: 4px solid white;
}
button{
    font-family: Pixeldub;
    border: 1px solid ;
    color: #444;
    height: 45px;
    width: 100px;
    text-align: center;
    font-size: 1.2em;
    font-weight: normal;
    margin-left: 255px;
    margin-bottom: 15px;
}
#options{
    font-family: Pixeldub;
    color: WHITE;
    font-size: 18px;
    font-weight: 400;
    text-align: center;
    background: black;
    margin: 0 0 25px;
    overflow: hidden;
    border: 2px solid #0000FF;
}