@import "https://fonts.googleapis.com/css2?family=Noto+Sans+JP:wght@100..900&display=swap";
html,body{margin:0;padding:0;font-family:Roboto,Noto Sans JP,-apple-system,BlinkMacSystemFont,Segoe UI,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif}section.page-content{margin-top:1.2rem}section.page-content h2{color:#cd88fc;margin:1.25rem 0;font-size:1.4rem;font-weight:700}section.page-content p{letter-spacing:2px;margin:1.25rem 0;line-height:1.95}section.page-content p.has-text-align-right{text-align:right}section.page-content p.has-text-align-center{text-align:center}section.page-content ul{margin:0 0 0 1rem;padding:0;font-size:.95rem;line-height:1.5}section.page-content ul li{margin:0 0 0 4px;padding:1px 0 2px 4px;list-style-type:square}section.page-content strong{color:#cdb8ec;margin:0 2px;font-size:1.025rem;font-weight:700}article.atcoder-content h1{color:#9f7aea;margin:.5rem 0 1rem;font-size:1.6rem;font-weight:700}article.atcoder-content h2{color:#9f7aea;margin:1rem 0;font-size:1.4rem;font-weight:700}article.atcoder-content p{letter-spacing:1.5px;margin:.75rem 0;line-height:1.8}