html, body {
    font-family: Verdana,sans-serif;
    font-size: 14px;
    line-height: 1.4;
    background-color: #eee;
    color: black;
}

#top_bar {
    width: 1400px;
    height: 50px;
    padding: 0 16px 0 16px;
    display: flex;
    align-items: center;
    flex-direction: row;
    gap: 8px;
    background-color: #666;
    color: white;
}

#top_bar_logo {
    font-family: 'Bungee', serif;
    line-height: 1.1;
    font-size: 22px;
    margin-right: 8px;
}

.top_bar_button {
    height: 100%;
    padding: 0 8px 0 8px;
    display: flex;
    align-items: center;
    justify-content: center;

    text-decoration: none;

    color: white;
}

.top_bar_button:hover {
    color: black;
    background-color: #aaa;
}

#top_bar_socket_health {
    margin-left: auto;
    display: flex;
    align-items: center;
    justify-content: center;
}

#top_bar_socket_health.connecting {
    color: orange;
    text-shadow: 2px 2px black;
}

#top_bar_socket_health.connected {
    color: white;
}

#top_bar_socket_health.waiting {
    color: red;
    text-shadow: 2px 2px black;
}

#top_bar_socket_health.stopped {
    color: black;
}

#top_bar_socket_health_text {
    font-family: 'Bungee', serif;
    line-height: 1.1;
    font-size: 22px;
}

#top_bar_socket_health_dot {
    margin-left: 8px;
    height: 22px;
    width: 22px;
    border-radius: 50%;
    display: inline-block;
}

.connecting #top_bar_socket_health_dot {
    background-color: orange;
    box-shadow: 2px 2px black;
}

.connected #top_bar_socket_health_dot {
    background-color: white;
}

.waiting #top_bar_socket_health_dot {
    background-color: red;
    box-shadow: 2px 2px black;
}

.stopped #top_bar_socket_health_dot {
    background-color: black;
}

.ui_content {
    margin: 16px;
    width: 1400px;
}

footer {
    font-size: 12px;
    margin-top: 24px;
}