/*.inter-<uniquifier> {*/
/*  font-family: "Inter", sans-serif;*/
/*  font-optical-sizing: auto;*/
/*  font-weight: <weight>;*/
/*  font-style: normal;*/
/*}*/


body {
    font-family: "plus Jakarta sans", Inter, futura, sans-serif;
    margin: 0px !important;
}



.page-grad {
    /*background-color: lightgray;*/

    /*background-image: linear-gradient(135deg, #DDB8FF 7%, #F2F2F2 20%);*/
    height: 100vh;
}

.div0 {
    display:flex;
    background: #F0F0F0;
}
.div1 {
    display:flex;
    /*background: radial-gradient(circle at top left, #DDB8FF 7%, #F2F2F2 15%);*/
    /*background: linear-gradient(rgba(15, 110, 86, 0.03) 0%, transparent 80px);*/
    background: #F0F0F0;
}

.logdiv {
    min-width: 100px;
    max-width: 200px;
    height: 100vh;
    flex: 1 1 0;
    border-right: solid orange 2px;
    background-color: #F7F7F7;
    padding: 5px;
}

.login-form {
    margin-top: 200px;
    margin-bottom: 300px;
    font-family: "plus jakarta sans", Inter;
}

.logo {
    width: 120px;
    margin: 0 auto;
}

.fname {
    font-size: large;
    font-family: "plus jakarta sans" ,Inter;
}

.logbutton {
    border: solid black 1px;
    margin-top: 10px;
    background-color: azure;
    border-radius: 6px;
    box-shadow: 5px 5px 10px rgba(0, 0, 0, 0.3);
    padding: 2px;}

.maindiv {
    min-width: 500px;
    max-width: 800px;
    flex: 1 1 0;
    padding: 5px;
    /*background: radial-gradient(circle at top left, #EDDFF5 7%, #FFFFFF 15%);*/
    background: #F0F0F0;
    height: 100vh;
}

.sumdiv {
    min-width: 300px;
    max-width: 500px;
    margin: 0 auto;
    flex: 1 1 0;
    margin-top: 40px;
    height: 100vh;
    background: #F0F0F0;
}

.font-display {
    font-family:"plus Jakarta sans";
    font-size: x-large;
    text-align: center;
    margin-bottom: .5rem;

}


.qbuttons {
    margin: 0 auto;
    flex: 1 1 0;
    margin-bottom: 10px
}

.qbutton {
    border-width: 1px;
    border-style: solid;
    border-color: #111111;
    background-color: #D0D0D0;
    color: gray;
}

.qbutton:disabled {
    background-color: #D0D0D0;
}

#fact-button {
    display: none;
}
.act-button {
    background-color: gold;
}

.act-button:disabled {
    background-color: #D0D0D0;
}

.act-buttons {
    margin: 0 auto;
    flex: 1 1 0;
    font-size: larger;
    margin-top: 10px;
}

.spacer {
    width:60%;
}

.act-button {
    border-width: 1px;
    border-style: solid;
    border-color: #111111;

}

.justify-center {
    justify-content: center;
}
.items-center {
    align-items: center;
}
.flex-1 {
    flex: 1 1 0;
}
.flex {
    display: flex;
}
button, input:where([type=button]), input:where([type=reset]), input:where([type=submit]) {
    -webkit-appearance: button;
    background-color: transparent;
    background-image: none;
}
button, select {
    text-transform: none;
}

.rounded-md {
    border-radius: 6px;
}

.gap-1 {
    gap: .25rem;
}

.text-xs {
    font-size: .75rem;
    line-height: 1rem;
}

.text-muted-foreground {
    color: hsl(0, 0%, 8%);
}
.text-sm {
    font-size: .875rem;
    line-height: 1.25rem;
}
.text-center {
    text-align: center;
}
.mb-8 {
    margin-bottom: 2rem;
}
.tbox {
    height: 75px;
    border-width: 1px;
    border-style: solid;
    border-color: rgb(133, 133, 133);
    border-image: initial;
    padding: 5px;
    width: 90%;
    margin: 0 auto;
    font-family: Inter;
    white-space: pre-wrap;
}


/** {*/
/*    border-color: hsl(var(--border));*/
/*}*/
/**, :before, :after {*/
/*    box-sizing: border-box;*/
/*    border-width: 0;*/
/*    border-style: solid;*/
/*    border-color: #e5e7eb;*/
/*}*/

.orange-line {
    border: none;
    height: 2px;
    background-color: #FFA500; /* Hex code for orange */
    margin-bottom: 10px;
    margin-top: 10px;
}

.lower-orange-line {
    border: none;
    height: 2px;
    background-color: #FFA500; /* Hex code for orange */
    margin-top: 30px;
}

.bottom-div {
    position: fixed;
    font-family: "plus jakarta sans", Inter;
    font-size: x-small;
    bottom: 5vh;
    left: 0;
    padding-left: 5px;
    width: 100%;
}

.results_div {
    display:none;
}

.fact_container {
    background-color: white;
    border: gray solid 1px;
    border-radius: 6px;
    padding: 8px;
    min-width: 500px;
    max-width: 800px;
    margin: auto;
    overflow-y: auto;
    max-height: 500px;
}

.fact_instance {
    font-family: "plus jakarta sans", Inter;
    padding: 2px;

}

.fact_data {
    display: flex;
    border-radius: 6px;
    border: gray solid 1px;
    margin-bottom: 3px;
    font-family: "plus jakarta sans", Inter;
    box-shadow: 5px 5px 10px rgba(0, 0, 0, 0.3);
    padding: 2px;
}

.fact_p {
    flex: 1 1 0;
    margin-right: 3px;
}

.radio_p {
    margin-left: auto;
    display: flex;
}

.radio_div {
    flex: 1 1 0;
    margin-left: 3px;
}
.sub_span {
    color: darkblue;
    border: 1px darkblue solid;
    border-radius: 6px;
    background-color: rgb(0, 0, 139, 0.05)
}

.rel_span {
    color: darkred;
    margin-left: 3px;
    margin-right: 3px;
}

.obj_span {
    color: darkolivegreen;
    border-radius: 6px;
    border: 1px solid darkolivegreen;
    background-color: rgb(85, 107, 47, 0.05)
}

.btnLabel {
    margin-left: 5px;
    margin-right: 5px;
    margin-top: 7px;
    height: 1.5em;
}

.t_source {
    background-color: ghostwhite;
    border: solid gray 1px;
    font-size: small;
    padding: 3px;
    border-radius: 6px;
    border-left-color: darkred;
    border-left-width: 3px;
}

.summary_div {
    font-size: small;
    font-family: "plus Jakarta sans";
    border: orange 1px solid;
    border-radius: 6px;
    padding: 5px;
    margin-bottom: 10px;
    box-shadow: 5px 5px 10px rgba(0, 0, 0, 0.3);
    background-color: ghostwhite;
    height: 120px;
    overflow-y: auto;
}

.facts_div {
    font-size: small;
    font-family: "plus Jakarta sans";
    border: orange 1px solid;
    border-radius: 6px;
    padding: 5px;
    margin-bottom: 10px;
    box-shadow: 5px 5px 10px rgba(0, 0, 0, 0.3);
    background-color: ghostwhite;
    min-height: 100px;
}
.summaryheader {
    font-size: large;
    font-weight: bold;
    text-align: center;
    height: 1.5em;
}
.sfact, .sum_text {
    font-family: "plus Jakarta sans";

}

.expo-button {
    background-color: darkorange;
    margin: 0 auto;
    display: block;
    box-shadow: 5px 5px 10px rgba(0, 0, 0, 0.3);
    border-radius: 6px;
    border: black solid 1px;
}

.doc-id {
    font-size: xx-small;
    font-family: "plus Jakarta sans";
}

.source_p {
    display: none;
}

.table_div {
    display: none;
}