div.h2 { margin-top: 1em; margin-bottom: 2em; }
h2.inner { display: inline; }

ol { --heading-size: 1.2rem; font-size: inherit; }

ol > li::marker { cont-size: var(--heading-size);  }

ol > li { margin-bottom: 1rem; }

ol > li > h3 { font-size: var(--heading-size); font-weight: inherit; }

ul li { margin-bottom: 0.2rem; }


a.paper { color: inherit; text-decoration: none; }
a.paper:hover { text-decoration: underline; }
a.dead { text-decoration: line-through; }