@import url(pico.min.css);

.container {
    
    position: relative;
}

.fit_with_scroll{
    min-width: fit-content;
    overflow-x: auto;
}

.top_bot_pad_1em {
	padding-top: 1em; 
	padding-bottom: 1em;
}

.top_bot_margin_1em {
    margin-top: 1em; 
	margin-bottom: 1em;
}

.main_card {
    position: absolute;
    width: 100%;;
}

#main_content {
    width: 100%;;
    display: flex;
    gap: 0.5em;
}

.pane {
    flex: 50%;
    min-height: 600px;
}

.line {
  border-left: 0.1em solid rgba(159, 159, 159, 0.068);
  visibility: visible;
}

@media screen and (max-width:1024px) {
/* Zusätzliche Regeln für kleinere Monitore  */
   #main_content {
        width: 100%;;
        display: block;
    }

    .pane {
        width: 100%;
        flex: 100%;
        min-height: 200px;
    }

    .line {
        visibility: hidden;
    }
}

#premise_headline{
    display: flex;
    justify-content: space-between;
}

#premise_clear_btn{
    height: 2em;
    padding-top: 0;
    padding-bottom: 0;
}

#premises_box {
    min-height: 7.5em;
}

.premise_selector {
    width: min-content;
}

.query_selector {
    width: min-content;
}

.hor_align_div {
    display: flex;
    height: min-content;
    position: relative;
    justify-content: space-between;
}

.hor_align {
    margin: 0;
    position: absolute;
    top: 37%;
    -ms-transform: translate(-50%, 50%);
    transform: translate(-50%, -50%);
}

.full_height {
    position: relative;
    height: auto;
    width: min-content;
}

.premise_add {
    height: 100%;
}

.premise_entry {
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    display: flex;
    justify-content: space-between;
}

#task_creation_box {
    min-height: 21em;
    position: relative;
}

#solve_btn {
    position: absolute;
    bottom: 1em;
    right: 1em;
    height: min-content;
}