@font-face {
  font-family: 'gate'; /* Defines a name for the font */
  src: url('font/Hermetico-Regular.woff') format('woff');
  font-weight: normal;
  font-style: normal;
}

#background {
    background: url("img/lobby.jpg");
    background-size: cover;
    width:100vw;
    height: 100vh;
    position:fixed;
    z-index: -1000;
    top: 0;
    position: absolute;
}

body {
    font-family: 'gate', sans-serif;
    image-rendering: pixelated;
    margin: 0;
    padding: 0;
}

main {
    max-width: 1200px;
    margin: 20px auto;
    padding: 10px 40px;
    background: url('img/DotMatrixPaper.png');
    background-repeat: repeat-y;
    background-size: 100% auto;
}