body{font-family:sans-serif;margin:5ex 10ex}@media (max-width: 40em){body{margin:2ex 1rem}}tt,pre{font-family:WebKitWorkaround,monospace}h1{font-weight:normal;margin-bottom:0}h2{font-size:100%;margin-bottom:0}