/* sci/gui/nav-jump.css */
/* // begin // nav-jump */
nav.jump ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    background-color: maroon;
    border-radius: 1em;
    display: flex;
}
    nav.jump ul a {
        display: block;
        color: white;
        text-align: center;
        padding: 0.75em 0.75em;
        text-decoration: none;
        border-radius: 1em;
        transition: background-color 0.3s ease;
    }
        nav.jump ul a:hover {
            border-radius: 1em;
            background-color: brown;
        }
/* // end // nav-jump */