@import url("../colors.css"); @import url("syntax.css"); @import url("nav.css"); #navbarTop { background-color: var(--nav-bg-color) !important; min-height: 3.5rem; } .jumbotron { background:var(--main-color); background: -moz-linear-gradient(-45deg,var(--main-color) 0%, var(--main-color) 100%); background: -webkit-gradient(left top, right bottom, color-stop(0%,var(--main-color)), color-stop(100%, var(--main-color))); background: -webkit-linear-gradient(-45deg,var(--main-color) 0%, var(--main-color) 100%); background: -o-linear-gradient(-45deg,var(--main-color) 0%, var(--main-color) 100%); background: -ms-linear-gradient(-45deg,var(--main-color) 0%, var(--main-color) 100%); background: linear-gradient(135deg,var(--main-color) 0%, var(--main-color) 100%); color: #FFFFFF; } p>img { display: block; margin: 0 auto; max-height: 80%; max-width: 80%; min-width: 60%; } h1, h2, h3, h4, h5, h6 { font-weight: 500; padding-top: 1rem; } .mdg-nav { font-size: .9rem; } .page-header { font-weight: 600; } .list-group { padding: 4rem 0; } .page-header .anchorjs-link { text-decoration: none } h1 .anchorjs-link { text-decoration: none } h2 .anchorjs-link { text-decoration: none } h3 .anchorjs-link { text-decoration: none } h4 .anchorjs-link { text-decoration: none } .site-footer { padding-top: 2.5rem; padding-bottom: 1.8rem; margin-top: 2.5rem; height: 8.5rem; color: var(--footer-color); background-color: var(--footer-bg-color); } .site-footer a { color: var(--link-color); } .footnotes { margin-top: 40px; padding-top: 20px; border-top-width: 1px; border-top-style: solid; border-top-color: rgb(238, 238, 238); } .highlight { padding-top: 1rem; padding-right: 1rem; padding-left: 1rem; padding-bottom: 1px; margin-bottom: 2rem; } blockquote { background: #f9f9f9; border-left: .8rem solid #ccc; margin: 1.5em 1rem; padding: 1em .8rem 0.1em .8rem; quotes: "\201C""\201D""\2018""\2019"; } a { color: var(--link-color); text-decoration: none; } a:hover { color: var(--link-color-hover); } .MJX_LiveRegion { display: none; } code.highlighter-rouge { color: #111; background: #eee; padding: .2rem; border-radius: 3px; }