/* For class: logo_menu_bar
This is for the div that encloses both the logo_bar and menu_bar at top of page
*/
/*-------*/
div#logo_menu_icon_bar {
    align-items: center;
    border-collapse: collapse;
    clear:both;
    display: flex;
    font-weight: bold;
    flex-wrap: wrap;
    justify-content: space-between;
    margin: 0;
    /*width: 100%;*/
}
    div#logo_menu_icon_bar a:hover {
        text-decoration: underline;
    }
div#logo_menu_icon_bar div.title { padding-left:.5em;
}
    /*-------*/
    div#menu_icon {
        background-color: silver;
        border: 2px gray groove;
        height: 100%;
    }
    div#menu_icon a {
        color: black;
        display: block;
        font-size: 200%;
        margin: 0 0 0 0;
        padding: 0 .5em 0 .5em;
    }
        div#menu_icon a:hover {
            background-color: Darkgray;
            color: White;
            text-decoration: none;
        }
        /*div#menu_icon a:first-child:focus {
            background-color: Darkgray;
            color: White;
        }*/
/*-------*/