/* Compléments propres aux diagrammes et aux mathématiques du cours.
   Le gabarit, la typographie et les accordéons restent ceux de pc-cours-style. */
.pc-boole .pc-formule{overflow-x:auto;overflow-y:hidden;padding:18px 16px}
.pc-boole .katex{font-size:1.08em}
.pc-boole .katex-display{margin:.35em 0}
.pc-boole .katex-display>.katex{white-space:nowrap}
.pc-boole .pc-boole-table{overflow-x:auto;max-width:100%;margin:18px 0}
.pc-boole .pc-boole-table .pc-table{margin-bottom:0}
.pc-boole .pc-table.truth td,.pc-boole .pc-table.truth th{text-align:center}
.pc-boole .pc-boole-grille{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin:22px 0}
.pc-boole .pc-boole-porte{margin:0;min-width:0}
.pc-boole .pc-boole-porte h3{margin-top:0}
.pc-boole .pc-boole-porte svg{display:block;width:100%;max-height:140px}
.pc-boole .pc-boole-legende{font-size:.85rem;line-height:1.6;opacity:.85}
.pc-boole .pc-boole-schema{padding:18px;border:1px solid rgba(0,0,0,.13);border-radius:9px;background:#fafafa;overflow-x:auto;text-align:left}
.pc-boole .pc-boole-schema svg{display:block;width:100%;min-width:510px}
.pc-boole .pc-boole-schema figcaption{font-size:.85rem;line-height:1.6;margin-top:14px}
.pc-boole svg .wire{fill:none;stroke:#16222e;stroke-width:2.3;stroke-linecap:round;stroke-linejoin:round}
.pc-boole svg .shape{fill:#fff;stroke:#16222e;stroke-width:2.3;stroke-linejoin:round}
.pc-boole svg .dot{fill:#16222e}
.pc-boole svg text{font-family:inherit;fill:#16222e;font-size:16px}
.pc-boole .legend{display:flex;flex-wrap:wrap;gap:18px;font-size:.85rem;margin-bottom:18px}
.pc-boole .legend span{border-bottom:3px solid;padding:4px}
.pc-boole .controls{display:flex;align-items:center;flex-wrap:wrap;gap:12px;margin:16px 0}
.pc-boole .controls button,.pc-boole .controls select{font:inherit;padding:7px 12px;background:#fff;border:1px solid rgba(0,0,0,.25);border-radius:6px}
.pc-boole .controls .bit{min-width:80px;cursor:pointer}
.pc-boole .bit[aria-pressed="true"]{background:#e2571e;color:#fff;border-color:#e2571e}
.pc-boole output{display:block;background:#16222e;color:#fff;font-weight:700;font-size:1.2rem;border-radius:8px;padding:14px 18px;margin:16px 0}
.pc-boole .sim-state{background:rgba(27,126,60,.12);font-weight:700}
.pc-boole summary:focus-visible,.pc-boole button:focus-visible,.pc-boole select:focus-visible{outline:3px solid #e2571e;outline-offset:3px}
.pc-boole section{scroll-margin-top:90px}
@media(max-width:767px){.pc-boole .pc-boole-grille{grid-template-columns:1fr}.pc-boole .pc-boole-schema{padding:12px}.pc-boole .pc-formule{padding:14px 9px}.pc-boole .pc-table{font-size:.82rem}.pc-boole .pc-table th,.pc-boole .pc-table td{padding:7px}}
@media print{.pc-boole .pc-boole-schema svg{min-width:0}.pc-boole .controls{display:none}.pc-boole .pc-formule,.pc-boole .pc-boole-schema,.pc-boole .pc-table{break-inside:avoid}.pc-boole .pc-sol-corps{display:block!important}}