body{font-family:'Times New Roman',Times,serif;line-height:1.6;max-width:820px;margin:0 auto;padding:2rem;color:#111}h1{font-weight:normal;border-bottom:1px solid #ccc;padding-bottom:.5rem}h2,h3{font-weight:normal;margin-top:2rem}nav{margin-bottom:1.5rem}nav a{margin-right:1rem;color:#111}a{color:#111}.small{font-size:.92rem;color:#555}.paper{margin-bottom:2rem}hr{margin:2rem 0}