/* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!! PART 1: Style for the Navigation Bar and the containers related to it.*/
/* Copied from Blazor example project template from Microsoft. Very small tweaks by Denef. */

.page {
    position: relative;
    display: flex;
    flex-direction: column;
}

.main {
    flex: 1;
}

.sidebar {
    background-image: linear-gradient(180deg, rgb(5, 39, 103) 0%, #3a0647 70%);
}

.navbar-toggler {
    background-color: rgba(255, 255, 255, 0.1);
}

.top-row {
    height: 3.5rem;
    background-color: rgba(0,0,0,0.4);
}

.navbar-brand {
    font-size: 1.1rem;
}

.my-nav-link {
    color: white;
    font-size: 1.1rem;
    text-decoration: none;
    padding-left: 0.5rem;
}

    .my-nav-link:hover {
        color: lightblue;
    }

    .my-nav-link:active {
        color: lightblue;
    }

.my-nav-icon {
    padding-right: 0.5rem;
    vertical-align:bottom;
}

.nav-item {
    font-size: 0.9rem;
    padding-bottom: 1rem;
}

    .nav-item:first-of-type {
        padding-top: 2rem;
    }

    .nav-item:last-of-type {
        /*padding-bottom: 2rem;*/
    }

.mySideMenuStyle {
    display: none;
}

@media screen and (min-width: 641px ) {
    .page {
        flex-direction: row;
    }

    .sidebar {
        width: 250px;
        height: 100vh;
        position: sticky;
        top: 0;
    }

    .top-row {
        position: sticky;
        top: 0;
        z-index: 1;
    }

    .main > div {
        padding-left: 2rem !important;
        padding-right: 1.5rem !important;
    }

    .navbar-toggler {
        display: none;
    }

    .mySideMenuStyle {
        display: block;
    }
}


/* !!!!!!!!!!!!!!!!!!!!!!!!!!!!! Style of the main layout. */ 
/* Copied from Blazor example project template from Microsoft. */

html, body {
    font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
    background-color: lavender;
}

.btn-primary {
    color: #fff;
    background-color: #1b6ec2;
    border-color: #1861ac;
}

.content {
    padding-top: 1.1rem;
}


/* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Styles of the parts. */
h1 {
    color: darkblue;
    font-weight:600;
}

.myModalHeader {
    background-color: darkblue;
    color: white;
}

.myTextArea-1 {
    width: 100%;
    min-height: 200px;
    margin: 0px 0px 15px 0px;
    border-color: #04AA6D;
    border-width: 1.5px;
}

    .myTextArea-1:focus { /*It is NOT necessary that the css for non-focussed is the same as for focussed; smart-write-and-jump will NOT vibrate the view. */
        outline: none; /*This is to overrule the default which depends on the browser.*/
        border-color: #04AA6D;
        border-width: 2.5px;
    }

.myBut-1 {
    width: 140px;
    margin: 0px 10px 20px 0px;
}

.myBut-2 {
    width: 10%;
    height: 40px;
    margin: 0px 0px 20px 0px;
    padding: 0px 0px 0px 0px;
    background-color: #04AA6D;
    border: 1px solid white;
}

.myRelationBut {
    width: 20%;
    height: 40px;
    margin: 0px 0px 20px 0px;
    padding: 0px 0px 0px 0px;
    background-color: #04AA6D;
    border: 1px solid white;
}

.btn-group button:last-child {
    border-right: none;
    margin-right: 0px;
}

.btn-group button:first-child {
    border-left: none;
    margin-left: 0px;
}

.myTitle-1 {
    font-weight: bold;
    padding: 1.5rem 0rem 0rem 0rem;
    color: darkblue;
}

.myTitle-2 {
    font-weight: bold;
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
    color: darkblue;
    cursor: pointer;
}

.myLkBut-1 {
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 25px;
    color: darkblue;
    float: right;
    cursor: pointer;
}
    .myLkBut-1:hover {
        color: brown;
        text-decoration: underline;
    }

.myLkBut-2 {
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 25px;
    color: darkblue;
    cursor: pointer;
}
    .myLkBut-2:hover {
        color: brown;
        text-decoration: underline;
    }

.myLkBut-3 {
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
    color: darkblue;
    cursor: pointer;
}
    .myLkBut-3:hover {
        color: brown;
        text-decoration: underline;
    }

.myMenu-1 {
    color: darkblue;
    vertical-align: top;
    cursor: pointer;
    border-color: darkblue;
}

    .myMenu-1:hover {
        border-color: blue;
        color: blue;
    }

.myTopRow {
    border-bottom: 1px solid #d6d5d5;
    height: 3.5rem;
    padding: 1.1rem 0rem 0rem 0rem;
}

.myTopRow{
    background-color: /*orange;*/ /*aquamarine;*/ lightgray; /*#f7f7f7;*/
}

.myDropdown {
    color: darkblue;
    cursor: pointer;
    display:inline;
}

    .myDropdown:hover {
        color: brown;
    }

.myDropdownContent {
    border: 2px solid #04AA6D;
}

.myAdaptive-1 {
}

.myBut-4 {
    margin-bottom: 20px;
    margin-right: 2%;
    margin-left: 2%;
    height: 40px;
    width: 48%;
}

.myTextArea-T {
    width: 100%;
    margin: 0px 0px 15px 0px;
}

.myTextArea-A {
    width: 100%;
}

.myTextField-1 {
    width: 100%;
    margin: 0px 0px 15px 0px;
}

.myInputBorder-1 {
    border-color: #04AA6D;
    border-width: 1.5px;
    border-style: solid;
}

    .myInputBorder-1:focus { /*It is NOT necessary that the css for non-focussed is the same as for focussed. */
        outline: none; /*This is to overrule the default which depends on the browser.*/
        border-color: #04AA6D;
        border-width: 2.5px;
    }


@media screen and (max-width:700px) {
    .myBut-2 {
        height: 30px;
        margin: 0px 0px 13px 0px;
    }

    .myRelationBut {
        height: 30px;
        font-size: 2.3vw; /*Viewport is the browser window size. 1vw = 1% of viewport width. If the viewport is 50cm wide, 1vw is 0.5cm. This is for responsive web apps.*/
        margin: 0px 0px 13px 0px;
        font-size: small;
    }

    .myLkBut-1 {
        margin: 0px 0px 0px 15px;
    }

    .myLkBut-2 {
        margin: 0px 0px 0px 15px;
    }
}

@media screen and (max-width:640px) {
    .myTextArea-1 {
        min-height: 150px;
    }

    .myAdaptive-1 {
        display: none;
    }
}

@media screen and (max-width: 400px) {
    .myBut-3 {
        font-size: smaller;
    }
}

@media screen and (orientation: landscape) and (max-height: 300px) {
    .myTextArea-1 {
        min-height: 30px;
        max-height: 30px;
    }

    .myBut-2 {
        height: 25px;
    }

    .myBut-3 {
        height: 25px;
    }
}

/* Style form thead ProofAssistant!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! */

.prfArea {
    width: 100%;
    padding: 5px;
    margin-bottom: 15px;
    border: solid;
    border-color: #04AA6D;
    border-width: 2.5px;
    /*max-height: 60vh;*/
    min-height: 20vh;
    overflow-y: auto;
}

.thmLemHead {
    font-weight: bold;
}

.hypHead {
    text-decoration-line: underline;
}

.concHead {
    text-decoration-line: underline;
}

.prfHead {
    text-decoration-line: underline;
}

.hypLine {
}

.prfLine {
}

.prfEnd {
    text-decoration-line: underline;
}

.selectedThmLemHead {
    background-color: orange
}

.selectedPrfHead {
    background-color: orangered
}

.selectedLine {
    background-color: pink
}