.home-wrap { max-width: 58rem; margin-inline: auto; }
.home-hero { margin-block: 1.5rem 2rem; }
.home-subtitle { max-width: 47rem; line-height: 1.8; color: var(--text-muted-color); }
.home-links { display: flex; flex-wrap: wrap; gap: .6rem 1.3rem; margin-block: 1rem; }
.home-section { margin-block: 2.5rem; }
.research-path { padding: 1rem 1.2rem; border-left: 3px solid var(--link-color); background: var(--card-bg); line-height: 1.9; }
.study-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.study-card { padding: 1rem 1.2rem; border: 1px solid var(--main-border-color); border-radius: .4rem; }
.study-card h3 { font-size: 1.1rem; margin: 0 0 .65rem; }
.study-card p { margin: 0; color: var(--text-muted-color); }
.note-list { list-style: none; padding-left: 0; }
.note-list li { padding: .7rem 0; border-bottom: 1px solid var(--main-border-color); }
.note-meta { display: block; font-size: .88rem; color: var(--text-muted-color); }
.note-list--compact li { padding: .35rem 0; }
.outline-group { font-size: 1.05rem; margin: 1.2rem 0 .2rem; }
.outline-group .note-meta { display: inline; font-weight: 400; }
.notebook-context { margin-block: 2rem; padding-top: 1rem; border-top: 1px solid var(--main-border-color); }
.notebook-context h2 { font-size: 1.25rem; }
.notebook-context h3 { font-size: 1.05rem; }
.notebook-context ol { padding-left: 1.4rem; }
.notebook-context .note-meta { display: inline; }
.notebook-context .series-nav { list-style: none; padding-left: 0; margin-bottom: .5rem; }
.notebook-context details { margin-block: .5rem 1rem; }
.notebook-context summary { font-weight: 400; }
.notebook-context [aria-current="page"] { font-weight: 600; }
details { margin-block: 1rem; }
summary { cursor: pointer; font-weight: 600; padding-block: .5rem; }
.theorem, .definition, .proposition { border-left: 3px solid var(--link-color); padding: .8rem 1.1rem; margin-block: 1.2rem; }
/* [Correction required] / [Suggested addition] blocks; see _plugins/notebook-markdown.rb. */
.review-note { position: relative; margin-block: 1rem 1.5rem; padding: .85rem 1rem .85rem 2.9rem; border-radius: .5rem; color: var(--prompt-text-color); }
.review-note::before { position: absolute; left: 1rem; top: 1rem; font: var(--fa-font-solid); content: "\f06a"; }
.review-note--correction { background-color: var(--prompt-warning-bg); }
.review-note--correction::before { color: var(--prompt-warning-icon-color); }
.review-note--suggestion { background-color: var(--prompt-info-bg); }
.review-note--suggestion::before { color: var(--prompt-info-icon-color); transform: rotate(180deg); }
.content .review-note__label { margin-bottom: .4rem; font-weight: 600; }
.content .review-note > ul { margin-bottom: 0; padding-left: 1.1rem; }
.content mjx-container[display="true"] { overflow-x: auto; overflow-y: hidden; max-width: 100%; padding-block: .2rem; }
.content p:has(mjx-container:not([display="true"])) { overflow-x: auto; }
.content pre { tab-size: 4; }
.content { overflow-wrap: break-word; }
@media (max-width: 575px) {
  .study-grid { grid-template-columns: 1fr; }
  .home-hero h1 { font-size: 1.9rem; }
}