*{
    font-size:10px
}

.upper-right-section {
    display: flex;
    flex-direction: column;
    border: 1px solid #ddd;
    border-radius: 8px;
    padding: 0;
    background-color: #fff;
    box-shadow: 0px 2px 5px rgba(0, 0, 0, 0.1);
    height: 100%;
    overflow: hidden; /* 내부 스크롤에 제한 */
}

/* 스크롤 가능한 컨테이너 */
.scrollable-container {
    overflow-x: auto; /* 가로 스크롤 가능 */
    overflow-y: auto; /* 세로 스크롤 제한 */
    display: flex;
    flex-direction: column;
    flex-grow: 1; /* 남은 공간을 채움 */
}

/* 헤더 (Variables) */
.variable-header-container {
    display: flex;
    white-space: nowrap; /* 한 줄로 유지 */
    background-color: #fff;
    z-index: 10; /* T/F 버튼 위에 표시 */
    border-bottom: 1px solid #ddd;
    padding: 5px;
    margin-bottom: 15px;
}

.variable-input-group {
    display: flex;
    flex-direction: column; /* 행이 세로로 추가됨 */
    gap: 10px; /* 행 간 간격 */
}

.variable-row {
    display: flex;
    gap: 10px; /* 간격 축소 */
    align-items: center;
    margin-bottom: 10px;
    padding-bottom: 5px;
    border-bottom: 1px solid #ddd;
}

/* 고정된 하단 버튼 */
.footer-buttons-container {
    position: sticky;
    bottom: 0;
    background-color: #fff;
    z-index: 10;
    border-top: 1px solid #ddd;
    display: flex;
    justify-content: space-between !important;
    gap: 10px;
    padding: 10px;
}

.footer-buttons-container .btn {
    display: flex;
    padding: 10px 20px;
    font-size: 14px;
    border-radius: 5px;
    text-align: center;
    border: none;
}

.add-case-button {
    background-color: #6b6b6b;
    color: white;
    height: 20px !important;
    width: 30% !important;
}

.test-button {
    background-color: #007bff;
    color: white;
    height: 20px !important;
    width: 30% !important;
}

.csv-button:hover,
.add-case-button:hover,
.test-button:hover {
    opacity: 0.9;
    cursor: pointer;
}

h3{
    font-size:14px!important
}
.header{
    background-color:#042290ef;
    padding:15px 0;
    height:50px;
    margin-bottom:30px
}
.upper-left-section{
    display:flex;
    flex-direction:column;
    gap:20px;
    border:1px solid #ddd;
    border-radius:8px;
    padding:20px;
    background-color:#fff;
    overflow-y:auto!important
}
.section-card{
    padding:15px;
    box-shadow:0 2px 5px rgba(0,0,0,.1);
    overflow-y: visible !important;
}
.section-title{
    font-size:18px;
    font-weight:500;
    margin-bottom:10px
}
.list-group{
    overflow-y:auto;
    background-color:#fff;
    padding:10px
}
.mcdc-list{
    border:1px solid #ddd;
    border-radius:8px;
    background-color:#fff;
    padding:10px;
    overflow: visible !important;
}
.upper-left-section,.upper-right-section{
    flex:1;
    border:1px solid #ddd;
    border-radius:8px;
    padding:20px;
    background-color:#fff;
    box-shadow:0 2px 5px rgba(0,0,0,.1);
    display:flex;
    flex-direction:column;
    justify-content:space-between
}
.section-header {
    display: flex;
    justify-content: space-between; /* 헤더 제목과 버튼을 양쪽 끝으로 배치 */
    align-items: center;
    margin-bottom: 5px;
    
}

.test-button:hover{
    background-color:#007bff;
    color:#fff;
    border:none
}

.csv-button {
    display: flex;
    flex-direction: row;
    height: 25px !important;
    width: 30% !important;
    text-align: center;
    justify-content: center;
    font-size:12px!important;
    align-items: center;
    background-color:#042290ef;
    color: #fff;
    border: none;
    border-radius: 4px;
    padding: 8px 16px;
    font-size: 10px;
    cursor: pointer;
    transition: background-color 0.2s ease;
}

.csv-button:hover{
    background-color:#0056b3
}
.csv-button img{
    height:20px
}
.footer-buttons-container .btn:hover{
    opacity:.9;
    cursor:pointer
}
.header-icon{
    width:20px;
    height:20px;
    filter:invert();
    margin-right:15px
}
.header-title{
    font-size:20px;
    font-weight:500;
    color:#fff;
    margin:0
}
.input-section{
    margin-top:15px;
    display:flex;
    justify-content:center;
    align-items:center;
    gap:10px;
    margin-bottom:20px
}

.expression-input{
    width:50%;
    max-width:400px;
    padding:10px 15px;
    font-size:16px;
    border:1px solid #ccc;
    border-radius:4px;
    box-shadow:inset 0 1px 2px rgba(0,0,0,.1);
    transition:border-color .3s ease,box-shadow .3s ease
}
.expression-input:focus{
    border-color:#007bff;
    box-shadow:0 0 5px rgba(0,123,255,.5);
    outline:0
}
.calculate-button{
    margin-left:10px;
    padding:6px 12px;
    height:30px;
    font-size:14px;
    color:#fff;
    background-color:#042290ef;
    border:none;
    border-radius:3px;
    cursor:pointer;
    box-shadow:0 4px 8px rgba(0,0,0,.2);
    transition:background-color .3s ease
}
.calculate-button:hover{
    color:#fff;
    background-color:#0056b3
}
.explain{
    margin-left:50px;
    margin-bottom:10px;
    font-size:11px
}
.test-button{
    right:20px;
    bottom:12px;
    font-size:12px!important;
    height:24px;
    z-index:1070;
    width:45px;
    font-size:14px;
    color:#fff;
    background-color:#042290ef;
    border:none;
    border-radius:3px;
    cursor:pointer;
    box-shadow:0 4px 8px rgba(0,0,0,.2);
    transition:background-color .3s;
    margin-left:10px;
    display:flex;
    align-items:center;
    justify-content:center
}
.export-csv-button:hover{
    background-color:#0056b3
}
.export-icon{
    width:14px;
    height:14px;
    filter:invert();
    margin-right:5px
}
body{
    font-family:Roboto,sans-serif;
    margin:0;
    padding:0;
    height:100vh;
    display:flex;
    flex-direction:column;
    background-color:#f4f6f8;
    color:#7b7777;
    overflow:hidden
}
.main-page{
    height:calc(50% - 4px);
    overflow-y:auto;
    background-color:#fff;
    border-bottom:4px solid #ddd;
    position:relative;
    display:flex
}
.drag-handle{
    height:8px;
    background-color:#ccc;
    cursor:ns-resize;
    transition:background-color .3s ease;
    position: relative !important;
    z-index:10
}
.drag-handle:hover{
    background-color:#aaa
}
.minimal-multicondition-page{
    height:calc(50% - 4px);
    display:flex;
    overflow-y:hidden;
    background-color:#f9f9f9;
    transition:height .2s ease
}
.minimal-combination{
    flex:1;
    padding:20px;
    overflow-y:auto;
    border-right:1px solid #ddd;
    background-color:#fff
}
.multicondition-output{
    flex:1;
    padding:20px;
    overflow-y:auto;
    background-color:#fff
}
h1,h3{
    font-weight:500;
    color:#7b7777
}
.list-group{
    max-height:200px;
    overflow-y:auto;
    margin-bottom:10px
}
.mcdc-section{
    margin-top:20px;
    padding-top:10px;
    border-top:1px solid #ddd;
}
.mcdc-variable{
    font-weight:500;
    margin-right:5px;
    color:#555
}

.variable-header{
    display:flex;
    flex-direction:row;
    align-items:center;
    gap:10px;
    overflow-x: hidden;
    justify-content:flex-start;
    flex-shrink: 0;
}
.variable-name{
    font-weight:500;
    text-align:center;
    width:45px
}

.list-group{
    max-height:none;
    overflow-y:visible
}
#expression{
    width:60%!important;
    max-width:100%
}
.drag-handle{
    height:8px;
    background-color:#ccc;
    cursor:ns-resize;
    transition:background-color .3s ease;
    user-select:none
}
.drag-handle:hover{
    background-color:#aaa
}
.minimal-multicondition-page{
    flex:1;
    display:flex;
    overflow:hidden
}
.minimal-combination{
    flex:1;
    padding:20px;
    overflow-y:auto;
    border-right:1px solid #ddd;
    background-color:#fff
}
.multicondition-output{
    flex:1;
    padding:20px;
    overflow-y:auto;
    background-color:#fff
}
.list-group{
    margin-top:10px
}
.test-button:disabled{
    background-color:#b0b0b0
}
.csv-button:disabled{
    background-color:#b0b0b0;
}

.add-case-button{
    background-color:#6b6b6b;
    color:#fff;
    height:10px;
    width:40px;
    font-size:10px!important;
    justify-content:center!important;
    align-items:center!important;
    display:flex
}



.tf-radio-group {
    width: 45px; /* 너비 축소 */
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 2px;
    flex-shrink: 0;
}

.tf-radio-group input[type="radio"] {
    display: none;
}
.tf-radio-group label {
    padding: 3px 8px; /* 크기를 줄여서 절반 크기로 */
    font-weight: 500;
    border: 1px solid #ddd;
    border-radius: 5px;
    cursor: pointer;
    color: #333;
    transition: all 0.2s;
    text-align: center;
    font-size: 10px;
}
.tf-radio-group input[type="radio"]:checked + label {
    background-color: #007bff;
    color: white;
    border-color: #007bff;
}
.tf-radio-group input[value="T"]:checked + label {
    background-color: #28a745;
    color: white;
    border-color: #28a745;
}
.tf-radio-group input[value="F"]:checked + label {
    background-color: #dc3545;
    color: white;
    border-color: #dc3545;
}

.highlight-multicondition {
    background-color: #e0e0e0;
}
.highlight-mcdc {
    display: inline-block;
    background-color: #dff0d8 !important;
    border: 2px solid #8bc34a !important;
    color: black;
    padding: 3px;
    border-radius: 4px;
}
.case-pair {
    display: inline-block;
    background-color: #f0f0f0;
    border: 2px solid #b0b0b0;
    padding: 3px;
    margin: 2px;
    border-radius: 4px;
}
.highlight-minimal{
    color:#0a9a3c;
}

