@import 'https://fonts.googleapis.com/css2?family=Lora:wght@400;700&display=swap';body{font-family:lora,serif}h1,h2,h3{font-family:lora,serif}nav.navigation h1,nav.navigation h2,nav.navigation h3{font-family:lora,serif!important}nav.navigation *{font-family:lora,serif!important}a{font-family:lora,serif!important}code.has-jax{-webkit-font-smoothing:antialiased;background:inherit!important;border:none!important;font-size:100%}.about h1{font-size:3.6rem!important;font-weight:7e3;margin-top:1rem}main,.content{margin-top:0!important;padding-top:0!important}.content,.container.list{margin-top:0!important;padding-top:0!important}.wrapper{margin-top:0!important;padding-top:0!important}nav.navigation{margin-bottom:0!important}.container.list header,.container.list header p,.container.list ul{margin:0;padding:0}.container.list{padding-top:0!important;padding-bottom:0!important;margin-top:0!important;margin-bottom:0!important}.container.list header{margin-bottom:0!important;padding-bottom:0!important}.container.list ul{margin-top:0!important;padding-top:0!important}