.topnav {
    background-color: #333;
    overflow: hidden;
}

/* Style the links inside the navigation bar */
    .topnav a {
        float: left;
        color: #f2f2f2;
        text-align: center;
        /*padding: 14px 16px;*/
        padding: 5px 10px;
        text-decoration: none;
        font-size: 17px;
    }

/* Change the color of links on hover */
.topnav a:hover {
    background-color: #ddd;
    color: black;
}

/* Add a color to the active/current link */
.topnav a.active {
    background-color: #04AA6D;
    color: white;
}

/* Right-aligned section inside the top navigation */
.topnav-right {
    float: right;
}

.nav-ext {
    padding-top:5px;
    margin-top:10px;
}

.float-text-right {
    padding: 0px;
    margin: 0px;
    float: right;
    /*margin-inline: 10px;*/
    /*display:inline-flex;*/
}