.bergamot-exercise{counter-increment:bergamot-exercise}.bergamot-exercise .bergamot-root{border:none;padding:0;margin-top:1em}.bergamot-exercise .bergamot-exercise-label .bergamot-exercise-number::after{content:"Exercise " counter(bergamot-exercise);font-weight:700;text-decoration:underline}.bergamot-exercise .bergamot-button{border:.075rem solid #bfbfbf;border-radius:.2rem;padding:.25em;padding-left:1em;padding-right:1em;background-color:inherit;display:inline-flex;align-items:center;justify-content:center;transition:.25s;font-family:raleway,serif;color:#000;color:var(--text-color)}.bergamot-exercise .bergamot-button.bergamot-hidden{display:none}.bergamot-exercise .bergamot-button .feather{margin-right:.5em}.bergamot-exercise .bergamot-play .feather{color:#36e281}.bergamot-exercise .bergamot-play:hover .feather,.bergamot-exercise .bergamot-play:focus .feather{color:#8fefb9}.bergamot-exercise .bergamot-reset .feather{color:#09c}.bergamot-exercise .bergamot-reset:hover .feather,.bergamot-exercise .bergamot-reset:focus .feather{color:#3cf}.bergamot-exercise .bergamot-reset svg{fill:none}.bergamot-exercise .bergamot-close .feather{color:tomato}.bergamot-exercise .bergamot-close:hover .feather,.bergamot-exercise .bergamot-close:focus .feather{color:#ffb9ad}.bergamot-exercise .bergamot-button-group{margin-top:1em}.bergamot-root{border:.075rem solid #bfbfbf;border-radius:.2rem;padding:1em}.bergamot-root .bergamot-section-heading{margin-bottom:.5em;font-family:raleway,serif;font-style:normal;font-weight:700;font-size:1.25em}.bergamot-root .bergamot-section{margin-bottom:1em}.bergamot-root textarea{display:block;width:100%;height:10em;resize:none}.bergamot-root input[type=text]{width:100%;border:.075rem solid #bfbfbf;border-radius:.2rem;box-sizing:border-box;background-color:#fff;background-color:var(--background-color);color:#000;color:var(--text-color);font-family:raleway,serif;padding:.5rem;flex-grow:1}.bergamot-root input[type=text]:active,.bergamot-root input[type=text]:focus{box-shadow:0 0 5px rgba(54,226,129,.7);border-color:#36e281}.bergamot-root .bergamot-rule-list{display:flex;flex-direction:row;flex-wrap:wrap;justify-content:center}.bergamot-root .bergamot-rule-list katex-expression{margin-left:.5em;margin-right:.5em;flex-grow:1;flex-basis:0}.bergamot-root .bergamot-rule-section .bergamot-rule-section-name{text-align:center;margin:.25em;font-weight:700}.bergamot-root .bergamot-proof-tree{overflow:auto}.bergamot-root .bergamot-error{border:.075rem solid #bfbfbf;border-radius:.2rem;padding:.5rem;border-color:tomato;background-color:rgba(255,99,71,.25);margin-top:1rem}.bergamot-root .bergamot-selector{margin-bottom:1rem}.bergamot-root .bergamot-selector button{background-color:#fff;background-color:var(--background-color);color:#000;color:var(--text-color);border:.075rem solid #bfbfbf;border-radius:.2rem;padding:.5rem;font-family:raleway,serif;border-style:dotted}.bergamot-root .bergamot-selector button.active{border-color:#36e281;border-style:solid;font-weight:700}.bergamot-root .bergamot-selector button:not(:first-child){border-bottom-left-radius:0;border-top-left-radius:0}.bergamot-root .bergamot-selector button:not(:last-child){border-bottom-right-radius:0;border-top-right-radius:0;border-right-width:0}.bergamot-root .bergamot-selector button.active+button{border-left-color:#36e281;border-left-style:solid}.bergamot-root .bergamot-no-proofs{text-align:center}