#header {
    display: flex;
    padding: 5px 20px 5px 10px;
    background-color: #07830a;
    align-items: center;
    justify-content: space-between;
    flex-direction: row;
}

#header_left {
    display: flex;
    align-items: center;
    flex-direction: row;
}

#header_right {
    display: flex;
    align-items: center;
    flex-direction: row;
}

#header img {
    display: block;
    height: 16px;
}

#full_logo {
    padding: 0 32px 0 0;
}

#header a {
    display: block;
    padding: 0 32px 0 4px;
    text-decoration: none;
    color: white;
    font-size: 16px;
}

#header a:hover {
    color: cornflowerblue;
    cursor: grab;
}

#button_expand_code:hover {
    cursor: grab;
}