* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    background-color: #346;
    padding: 30px;
    color: white;
    font-weight: bold;
    font-family: monospace;
    text-align: center;
}

a {
    color: white;
}

#window {
  position: relative;
  max-width: 740px;
    margin: auto;
}

#title {
    position: absolute;
    font-size: 11px;
    top: 5px;
    left: 7px;
    height: 22px;
}

#terminal {
    border: 3px solid transparent;
    border-top: 22px solid transparent;
    border-image: url('./window-border.png') 22 3;
    padding: 5px;
    background-color: black;
}
.xterm-viewport {
    overflow: hidden !important;
}

#legend {
    margin-top: 10px;
}