@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono:wght@100..900&display=swap");@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+JP:wght@100..900&family=Noto+Sans+Mono:wght@100..900&display=swap");:root{--background:#ffffff;--foreground:#171717}@media (prefers-color-scheme:dark){:root{--background:#0a0a0a;--foreground:#ededed}}html{padding:0 1rem}html,main{width:100%}main{max-width:1000px;grid-area:main}body,html{overflow-x:hidden;display:grid;grid-template-areas:"header" "main";grid-template-rows:auto 1fr;min-height:100vh}header{width:100%;grid-area:header}body{max-width:1000px;justify-self:center;color:var(--foreground);background:var(--background);font-family:Noto Sans Mono,monospace,Noto Sans JP,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}@media (prefers-color-scheme:dark){html{color-scheme:dark}}