@import url('https://fonts.googleapis.com/css?family=Inconsolata:wght@400;500&');html{font-size:62.5%}header{border-bottom:0.2rem solid #000}nav{text-align:right}img[src*='#center']{display:block;margin:auto}nav a{font-size:2.2rem;font-weight:bold;color:black;text-decoration:none;text-transform:uppercase}footer{margin-top:3rem;padding:1.2rem 0;border-top:0.2rem solid #000;font-size:1.2rem;color:#555}h1{font-size:2.5rem}h2{font-size:2.2rem}p{clear:right}article .header{font-size:1.4rem;font-style:italic;color:#555}.post-list ul,ol{list-style:none;margin-bottom:1rem}.post-list li{font-size:2.0rem}.responsive{width:100%;max-width:320px;height:auto}.logo a{font-weight:bold;color:#000;text-decoration:none}.medium-icon{width:2rem;height:2rem;vertical-align:middle;margin:1rem}.small-icon{width:1rem;height:1rem;vertical-align:auto}@media (max-width:319px){body{}header{margin:4.2rem 0}nav{margin:0 auto 3rem;text-align:center}footer{text-align:center}.logo{text-align:center;margin:1rem auto 3rem}.logo a{font-size:2.4rem}nav a{display:block;line-height:1.6}}@media (min-width:320px){body{}header{margin:4.2rem 0}nav{margin:0 auto 3rem;text-align:center}footer{text-align:center}.logo{text-align:center;margin:1rem auto 3rem}.logo a{font-size:2.4rem}nav a{display:inline;margin:0 0.6rem}}@media (min-width:640px){body{}header{margin:0 0 3rem;padding:1.2rem 0}nav{margin:0;text-align:right}nav a{margin:0 0 0 1.2rem;display:inline}footer{text-align:right}.logo{margin:0;text-align:left}.logo a{float:left;font-size:1.8rem}}.theorem{display:block;margin:12px 0;font-style:normal}.theorem:before{content:"Theorem.";font-weight:bold;font-style:italic}.lemma{display:block;margin:12px 0;font-style:normal}.lemma:before{content:"Lemma.";font-weight:bold;font-style:normal}.proposition{display:block;margin:12px 0;font-style:normal}.proposition:before{content:"Proposition.";font-weight:bold;font-style:italic}.proof{display:block;margin:12px 0;font-style:normal}.proof:before{content:"Proof.";font-style:italic}.proof:after{content:"\25FC";float:right}.definition{display:block;margin:12px 0;font-style:normal}.definition:before{content:"Definition.";font-weight:bold;font-style:italic}body{font-family:'Inconsolata',monospace;font-size:2.0rem;background:#e8e8e8;color:#222}.wrapper{background:#f7f7f7;color:black;box-shadow:0px 5px 15px rgba(0,0,0,0.125);margin:0 auto;padding:40px;max-width:720px}