.win31 {
    font-family: 'Press Start 2P', sans-serif;
    cursor: default;
}
.win31 header {
    border: 2px solid black;
    background: navy;
    color: white;
    display: flex;
    justify-content: space-between;
    align-items: center;
}
.win31 header button {
    outline: 2px solid black;
    border: 2px solid white;
    border-right-color: gray;
    border-bottom-color: gray;
    border-radius: 0;
    background: silver;
    font-size: 0;
}
.win31 header button::before {
    font-size: 16px;
}
.win31 header button:first-child {
    border: 2px solid silver;
}
.win31 header button:first-child::before {
    content: '—';
    color: white;
    text-shadow: -2px  2px 0 black,
                  2px  2px 0 black,
                  2px -2px 0 black,
                 -2px -2px 0 black,
                 -2px  0px 0 black,
                  2px  0px 0 black,
                  4px  0px 0 gray,
                  4px  2px 0 gray,
                  0px  4px 0 gray,
                  4px  4px 0 gray;
}
.win31 header button {
    width: 32px;
    height: 32px;
}
.win31 header button:last-child::before {
    content: '';
    width: 2px;
    height: 2px;
    background: black;
    display: block;
    box-shadow: -8px -4px 0 black,
                -6px -4px 0 black,
                -4px -4px 0 black,
                -2px -4px 0 black,
                 0px -4px 0 black,
                 2px -4px 0 black,
                 4px -4px 0 black,
                 6px -4px 0 black,
                 8px -4px 0 black,
                -6px -2px 0 black,
                -4px -2px 0 black,
                -2px -2px 0 black,
                 0px -2px 0 black,
                 2px -2px 0 black,
                 4px -2px 0 black,
                 6px -2px 0 black,
                -4px  0px 0 black,
                -2px  0px 0 black,
                 2px  0px 0 black,
                 4px  0px 0 black,
                -2px  2px 0 black,
                 0px  2px 0 black,
                 2px  2px 0 black,
                 0px  4px 0 black;
    margin: auto;
}
.win31 nav {
    border: 2px solid black;
    border-top: none;
}
.win31 nav ul {
    margin: 0;
    padding: 0;
    display: flex;
}
.win31 nav li {
    padding: 0 10px;
}
.win31 nav li::before {
    content: '';
    display: none;
}
.win31 nav li::first-letter {
    text-decoration: underline;
}