/* Алат за исказне формуле — допуна основног стила (automati-alat.css) */
#alat.formule { height: auto; min-height: 100vh; }
.sadrzaj-formule { display: grid; grid-template-columns: minmax(0, 1fr) 420px; gap: 0; flex: 1; }
.unos { padding: 1rem 1.2rem; min-width: 0; }
.rezultati { border-left: 1px solid var(--linija); background: #fbfbfd; padding: .8rem 1rem; }
.red-unosa { display: flex; align-items: center; gap: .6rem; margin-bottom: .5rem; }
.red-unosa label { font-weight: 600; font-size: .85rem; min-width: 7.5rem; color: var(--tiho); }
.red-unosa input { flex: 1; font-family: "JetBrains Mono", Consolas, monospace; font-size: 1.05rem; padding: .5rem .7rem;
  border: 1px solid var(--linija); background: var(--pozadina); }
.red-unosa input:focus { outline: 2px solid #e6e3f4; border-color: var(--lavanda); background: white; }
#mintermi { font-size: .92rem; }
.tastatura { display: flex; flex-wrap: wrap; gap: .25rem; margin: 0 0 .7rem 8.1rem; align-items: center; }
.tastatura button { min-width: 2.1rem; font-size: 1rem; font-family: Cambria, "Times New Roman", serif; padding: .25rem .5rem; }
.tastatura .razmak { flex: 1; }
.tastatura label.cb { font-size: .82rem; color: var(--tiho); display: flex; align-items: center; gap: .3rem; }
.greska { color: #c0392b; font-weight: 600; font-size: .88rem; min-height: 1.2em; margin-left: 8.1rem; }
.prikaz-formule { font-family: Cambria, "Times New Roman", serif; font-size: 1.35rem; margin: .2rem 0 .6rem 8.1rem; min-height: 1.5em; }
.prikaz-formule i, .formula-rez i { font-style: italic; }
.primeri { margin: 0 0 .8rem 8.1rem; font-size: .8rem; color: var(--tiho); }
.primeri button { font-size: .75rem; padding: .2rem .45rem; margin: .1rem; font-family: Cambria, serif; }
.tablica-okvir { overflow-x: auto; }
table.ti { border-collapse: collapse; font-family: Cambria, "Times New Roman", serif; font-size: 1rem; margin-top: .3rem; }
table.ti th { background: #eef0f6; font-weight: 700; padding: .35rem .6rem; border: 1px solid var(--linija); white-space: nowrap; }
table.ti td { text-align: center; padding: .25rem .6rem; border: 1px solid var(--linija); min-width: 2.2rem; }
table.ti td.jedan { color: #0a7d3f; font-weight: 700; }
table.ti td.nula { color: #b4232a; }
table.ti td.nebitno { color: var(--tiho); }
table.ti th.rez, table.ti td.rez { background: #f6f4fb; }
table.ti td.rez { cursor: pointer; }
table.ti td.rez:hover { outline: 2px solid var(--lavanda); outline-offset: -2px; }
table.ti td.indeks { color: var(--tiho); font-size: .8rem; font-family: "JetBrains Mono", monospace; }
table.ti tr:nth-child(even) td { background-color: rgba(134, 128, 188, .05); }

.kartica-rez { border-bottom: 1px solid var(--linija); padding: .55rem 0 .7rem; }
.kartica-rez h3 { font-size: .78rem; letter-spacing: .06em; text-transform: uppercase; color: var(--tiho); margin: 0 0 .4rem;
  display: flex; align-items: center; justify-content: space-between; }
.kartica-rez .latex { font-size: .68rem; padding: .15rem .45rem; text-transform: none; letter-spacing: 0; }
.formula-rez { font-family: Cambria, "Times New Roman", serif; font-size: 1.12rem; line-height: 1.6; word-break: break-word; }
.mala { font-size: .78rem; margin: .3rem 0 0; }
#vrsta { font-size: .95rem; font-weight: 600; }
#vrsta .taut { color: #0a7d3f; } #vrsta .kontr { color: #b4232a; } #vrsta .kont { color: #5b4fa8; }
#karno svg { max-width: 100%; }
#karno svg.bira .polje:hover rect { fill: #f3f1fa; }

@media (max-width: 1000px) {
  .sadrzaj-formule { grid-template-columns: 1fr; }
  .rezultati { border-left: 0; border-top: 1px solid var(--linija); }
  .tastatura, .greska, .prikaz-formule, .primeri { margin-left: 0; }
  .red-unosa { flex-wrap: wrap; } .red-unosa label { min-width: 0; }
}

/* легенда група и избор групе на Карноовој мапи */
#karno-legenda { display: flex; flex-wrap: wrap; gap: .3rem; margin: .4rem 0 .2rem; }
#karno-legenda .stavka { font-family: Cambria, "Times New Roman", serif; font-size: 1rem; padding: .1rem .5rem; border: 2px solid; border-radius: 999px; cursor: default; background: white; }
#karno-legenda .stavka.aktivna { color: white; }
#karno svg .grupa { transition: opacity .15s, stroke-width .15s; }
#karno svg.istaknuto .grupa { opacity: .15; }
#karno svg.istaknuto .grupa.aktivna { opacity: 1; stroke-width: 3.5; fill-opacity: .25; }
#mdnf .term { border-radius: 4px; padding: 0 .1rem; }
#mdnf .term.aktivna { background: var(--boja-grupe, #e6e3f4); color: white; }
#dugme-grupa.ukljuceno { background: var(--lavanda); color: white; border-color: var(--lavanda); }
#karno-izbor { margin: .4rem 0; padding: .5rem .7rem; border-left: 3px solid var(--lavanda); background: #f6f4fb; font-size: .88rem; line-height: 1.5; }
#karno-izbor .konj { font-family: Cambria, "Times New Roman", serif; font-size: 1.12rem; }
#karno-izbor .dobro { color: #0a7d3f; font-weight: 600; }
#karno-izbor .lose { color: #b4232a; font-weight: 600; }
#karno-izbor .knf { color: #5b4fa8; font-weight: 600; }
#karno svg.bira .polje { cursor: crosshair; }