.NavButtonOpen {
    padding-left: 10px;
    padding-right: 5px;
    box-shadow: 0px 0px 2px 2px #233852;
    line-height: normal;
    height: auto;
}

.Nav {
    position: fixed;
    text-align: left;
    width: 250px;
    min-width: 250px;
    max-width: 250px;
    padding: 5px;
    z-index: 1;
    word-wrap: hyphenate;
    font-size: large;
    overflow-x: hidden;
    overflow-y: auto;
    visibility: hidden;
    left: -250px;
    top: 0px;
    transition: 0.2s;
    border-width: 1px;
    border-color: var(--BorderColor);
    border-right-style: solid;
    opacity: 0;
    bottom: 0px;
    border-radius: 0px;
    background: var(--Background2);
    z-index:999; /*Required for codemirror*/
}



    .Nav .Hyperlink, .Nav .Foldout > .Toggle, .Accordion > .Toggle {
        border-radius: 0px;
        margin-right: 0px;
        transition: padding 0.3s;
        padding-left: 10px;
        padding-right: 5px;
    
    }


        .Nav .Hyperlink:hover, .Nav .Foldout > .Toggle:hover {
            padding-left: 15px;
        }


.NavOpen {
    display: block;
    visibility: visible;
    left: 0px;
    opacity: 1;
}

.NavOverlay {
    background: linear-gradient(90deg, black, black);
    opacity: 0.7;
    position: fixed;
    top: 0px;
    left: 250px;
    right: 0px;
    bottom: 0px;
    cursor: pointer;
    -webkit-tap-highlight-color: transparent;
    border-radius: 0px;
}

.NavOpen .NavOverlay {
    right: 0px;
}




/*Always show menu on large screen*/
@media (min-width:1100px) {
    html {
        margin-left: 250px;
    }

    .Nav {
        display: block;
        visibility: visible;
        left: 0px;
        opacity: 1;
    }

    .NavOverlay {
        display: none;
    }

    .Nav > .NavButtonClose {
        display: none;
    }

    .NavButtonOpen {
        display: none;
    }

    #divCode 
    {
        /*Editor*/
        left:260px !important;
    }

    /*To use in other required controls when nav is present*/
    .NavMargin {
        margin-left: 250px;
    }
}


@media print 
{
    html 
    {
        margin-left: 0px !important;
    }
}



.Nav .DropDownMenu {
    width: 100%;
}

    .Nav .DropDownMenu .Toggle {
        width: 100%;
    }

    .Nav .DropDownMenu .Content {
        width: calc(100% - var(--Spacing));
    }

        .Nav .DropDownMenu .Content > * {
            margin-right: var(--Spacing);
        }