23 Feb attribution
html { background-color: var(--background); margin: 16px; } body { color: var(--foreground); font-family: "Open Sans", "Helvetica Neue", "Segoe UI", Helvetica, Arial, sans-serif; } pre { display: block; font-family: monospace; white-space: pre-wrap; ...