.reviewed-single-body .formal-block { white-space: pre-line; }
.reviewed-algorithm { margin: 1rem 0; border-top: 2px solid var(--accent, #315b7d); border-bottom: 2px solid var(--accent, #315b7d); background: var(--surface, transparent); }
.reviewed-algorithm > header { padding: .65rem .75rem; border-bottom: 1px solid #a0a0a050; }
.reviewed-algorithm > header > span { font-variant: small-caps; margin-right: .5rem; }
.reviewed-algorithm-body { padding: .65rem .3rem; overflow-x: auto; }
.reviewed-algorithm-row { display: grid; grid-template-columns: 2.5rem minmax(0, 1fr); align-items: baseline; margin: .3rem 0; }
.reviewed-algorithm-number { text-align: right; padding-right: .7rem; opacity: .5; font-size: .8em; font-variant-numeric: tabular-nums; }
.reviewed-algorithm-line { padding-left: calc(var(--algorithm-depth) * 1.25rem); min-width: 0; overflow-wrap: anywhere; line-height: 1.65; }
.reviewed-algorithm-comment { opacity: .7; font-style: italic; }
.reviewed-algorithm-fallback pre { white-space: pre-wrap; overflow-wrap: anywhere; }
.bruhat-full-preview .preview-quality-note { margin: .5rem 0 1rem; padding: .8rem; border-left: 3px solid #b8751c; background: #fff8e8; color: #684719; font-size: .85rem; }
.bruhat-full-preview .preview-quality-note--earlier { border-color: #648390; background: #edf4f7; color: #385867; }
.bruhat-full-preview .preview-quality-note p { margin: .5rem 0; overflow-wrap: anywhere; }
.bruhat-full-preview .preview-source-text { white-space: pre-wrap; overflow-wrap: anywhere; padding: .8rem; font-size: .8rem; background: #f5f5f5; }
.bruhat-full-preview .preview-original-source { margin: .75rem 0; }
.bruhat-full-preview .preview-reason { font-family: inherit; white-space: pre-wrap; }
.bt-verbatim { white-space: pre-wrap; overflow-wrap: anywhere; padding: .8rem; background: #f5f5f5; }
.bt-render-notice { color: #855c14; font-size: .85rem; }
.bt-formula-pending { white-space: pre-wrap; overflow-wrap: anywhere; }