h1:where(.astro-evm3oopy){color:var(--accent);margin-bottom:.5rem}.lead:where(.astro-evm3oopy){color:var(--text-light);margin-bottom:2rem}.theory:where(.astro-evm3oopy){background:#f0f9ff;border:2px solid #0ea5e9;border-radius:.5rem;margin-bottom:2rem;padding:1.5rem}.theory:where(.astro-evm3oopy) h2:where(.astro-evm3oopy){color:#0369a1;margin-bottom:.5rem;font-size:1.25rem}.theory:where(.astro-evm3oopy)>p:where(.astro-evm3oopy){color:var(--text-light);margin-bottom:1rem}.theory-box:where(.astro-evm3oopy){background:#fff;border-radius:.375rem;margin-bottom:1rem;padding:1rem}.theory-box:where(.astro-evm3oopy) h3:where(.astro-evm3oopy){color:#0369a1;margin-bottom:.75rem;font-size:1rem}.theory-box:where(.astro-evm3oopy) h4:where(.astro-evm3oopy){color:var(--text);margin-bottom:.5rem;font-size:.95rem}.theory-box:where(.astro-evm3oopy) p:where(.astro-evm3oopy){margin-bottom:.5rem}.theory-box:where(.astro-evm3oopy).tip{background:#fef3c7;border-left:4px solid #f59e0b}.theory-box:where(.astro-evm3oopy).tip h3:where(.astro-evm3oopy){color:#b45309}.theory-box:where(.astro-evm3oopy) ol:where(.astro-evm3oopy){margin-left:1.5rem}.theory-box:where(.astro-evm3oopy) ol:where(.astro-evm3oopy) li:where(.astro-evm3oopy){margin-bottom:.5rem}.property:where(.astro-evm3oopy){background:#f8fafc;border-radius:.25rem;margin-bottom:.75rem;padding:.75rem}.example:where(.astro-evm3oopy){background:#ecfdf5;border-radius:.25rem;margin-top:.5rem;padding:.5rem .75rem;font-size:.9rem}.example:where(.astro-evm3oopy) p:where(.astro-evm3oopy){margin-bottom:.25rem}.column:where(.astro-evm3oopy){background:#fff;border:2px solid #8b5cf6;border-radius:.375rem;margin-top:1rem}.column:where(.astro-evm3oopy) summary:where(.astro-evm3oopy){cursor:pointer;color:#6d28d9;background:#f5f3ff;border-radius:.375rem;padding:.75rem 1rem;font-weight:500}.column:where(.astro-evm3oopy)[open] summary:where(.astro-evm3oopy){border-bottom:1px solid #ddd6fe;border-radius:.375rem .375rem 0 0}.column:where(.astro-evm3oopy) summary:where(.astro-evm3oopy):hover{background:#ede9fe}.column-content:where(.astro-evm3oopy){padding:1rem}.column-content:where(.astro-evm3oopy) h4:where(.astro-evm3oopy){color:#6d28d9;margin-top:1rem;margin-bottom:.5rem;font-size:.95rem}.column-content:where(.astro-evm3oopy) h4:where(.astro-evm3oopy):first-child{margin-top:0}.column-content:where(.astro-evm3oopy) p:where(.astro-evm3oopy){margin-bottom:.5rem;font-size:.9rem}.column-content:where(.astro-evm3oopy) .formula:where(.astro-evm3oopy){font-size:1rem}.worksheet:where(.astro-evm3oopy){flex-direction:column;gap:2rem;display:flex}.step:where(.astro-evm3oopy){background:var(--bg-secondary);border-radius:.5rem;padding:1.5rem}.step:where(.astro-evm3oopy) h2:where(.astro-evm3oopy){color:var(--accent);border-bottom:2px solid var(--accent);margin-bottom:1rem;padding-bottom:.5rem;font-size:1.25rem}.substep:where(.astro-evm3oopy){background:#fff;border-radius:.375rem;margin-bottom:1.5rem;padding:1rem}.substep:where(.astro-evm3oopy) h3:where(.astro-evm3oopy){margin-bottom:.5rem;font-size:1rem}.substep:where(.astro-evm3oopy)>p:where(.astro-evm3oopy){color:var(--text-light);margin-bottom:.75rem;font-size:.9rem}.tip-inline:where(.astro-evm3oopy){background:#fef3c7;border-left:3px solid #f59e0b;border-radius:.25rem;margin-bottom:.75rem;padding:.5rem .75rem;font-size:.85rem}.prime-list:where(.astro-evm3oopy){margin-bottom:1rem}.prime-list:where(.astro-evm3oopy) details:where(.astro-evm3oopy){background:#e0e7ff;border-radius:.25rem;padding:.5rem 1rem;font-size:.85rem}.prime-list:where(.astro-evm3oopy) summary:where(.astro-evm3oopy){cursor:pointer;font-weight:500}.prime-list:where(.astro-evm3oopy) p:where(.astro-evm3oopy){color:var(--text);margin-top:.5rem}.input-group:where(.astro-evm3oopy){align-items:center;gap:.5rem;margin-bottom:.5rem;display:flex}.input-group:where(.astro-evm3oopy) label:where(.astro-evm3oopy){align-items:center;gap:.5rem;font-weight:500;display:flex}input:where(.astro-evm3oopy)[type=number]{border:2px solid #e5e7eb;border-radius:.25rem;width:100px;padding:.5rem;font-size:1rem;transition:border-color .15s}input:where(.astro-evm3oopy)[type=number]:focus{border-color:var(--accent);outline:none}.validation:where(.astro-evm3oopy){font-size:.85rem}.validation:where(.astro-evm3oopy).valid{color:#059669}.validation:where(.astro-evm3oopy).invalid{color:#dc2626}.result:where(.astro-evm3oopy){background:#fef3c7;border-radius:.25rem;flex-wrap:wrap;align-items:center;gap:.5rem;margin-top:.75rem;padding:.75rem;display:flex}.result:where(.astro-evm3oopy).success{background:#d1fae5}.note:where(.astro-evm3oopy){color:var(--text-light);font-size:.85rem}.formula:where(.astro-evm3oopy){text-align:center;background:#f0f9ff;border-radius:.25rem;margin:.5rem 0;padding:.75rem;font-family:Times New Roman,serif;font-size:1.1rem}.calculation:where(.astro-evm3oopy){color:var(--text-light);background:#f8fafc;border-radius:.25rem;min-height:1.5rem;margin:.5rem 0;padding:.5rem;font-size:.9rem}.hand-calc-guide:where(.astro-evm3oopy){background:#ecfdf5;border:1px solid #059669;border-radius:.375rem;margin:.75rem 0;padding:1rem;font-size:.9rem}.hand-calc-guide:where(.astro-evm3oopy) h4:where(.astro-evm3oopy){color:#059669;margin-bottom:.5rem;font-size:.9rem}.hand-calc-guide:where(.astro-evm3oopy) .step-list:where(.astro-evm3oopy){margin-left:1rem}.hand-calc-guide:where(.astro-evm3oopy) .step-item:where(.astro-evm3oopy){margin-bottom:.5rem;padding:.25rem 0}.hand-calc-guide:where(.astro-evm3oopy) .step-item:where(.astro-evm3oopy) code:where(.astro-evm3oopy){background:#fff;border-radius:.2rem;padding:.1rem .3rem;font-family:monospace}.verify-box:where(.astro-evm3oopy){background:#dbeafe;border-radius:.25rem;margin-top:.5rem;padding:.75rem;font-size:.85rem}.verify-box:where(.astro-evm3oopy):empty{display:none}.table-container:where(.astro-evm3oopy){border:1px solid #e5e7eb;border-radius:.25rem;max-height:200px;margin:.5rem 0;overflow-y:auto}table:where(.astro-evm3oopy){border-collapse:collapse;width:100%;font-size:.9rem}th:where(.astro-evm3oopy),td:where(.astro-evm3oopy){text-align:center;border-bottom:1px solid #e5e7eb;padding:.5rem}th:where(.astro-evm3oopy){background:#f3f4f6;font-weight:500;position:sticky;top:0}tr:where(.astro-evm3oopy).highlight{background:#d1fae5;font-weight:500}.key-summary:where(.astro-evm3oopy){border:2px solid var(--accent);background:#fff;border-radius:.375rem;margin-top:1rem;padding:1rem}.key-summary:where(.astro-evm3oopy) h3:where(.astro-evm3oopy){margin-bottom:.75rem}.keys:where(.astro-evm3oopy){grid-template-columns:1fr 1fr;gap:1rem;display:grid}.public-key:where(.astro-evm3oopy),.private-key:where(.astro-evm3oopy){border-radius:.25rem;padding:1rem}.public-key:where(.astro-evm3oopy){background:#dbeafe}.private-key:where(.astro-evm3oopy){background:#fecaca}.public-key:where(.astro-evm3oopy) h4:where(.astro-evm3oopy),.private-key:where(.astro-evm3oopy) h4:where(.astro-evm3oopy){margin-bottom:.5rem;font-size:.9rem}.keys:where(.astro-evm3oopy) p:where(.astro-evm3oopy){font-family:monospace;font-size:1rem}.attacker:where(.astro-evm3oopy){background:#fef2f2;border:2px dashed #dc2626}.attacker:where(.astro-evm3oopy) h2:where(.astro-evm3oopy){color:#dc2626;border-color:#dc2626}.info-box:where(.astro-evm3oopy){background:#fff;border-radius:.375rem;margin-top:1rem;padding:1rem}.info-box:where(.astro-evm3oopy) h4:where(.astro-evm3oopy){margin-bottom:.5rem}.info-box:where(.astro-evm3oopy) ul:where(.astro-evm3oopy){margin-top:.5rem;margin-left:1.5rem}.info-box:where(.astro-evm3oopy) li:where(.astro-evm3oopy){margin-bottom:.25rem}@media (width<=640px){.keys:where(.astro-evm3oopy){grid-template-columns:1fr}}
