@charset "UTF-8";
@font-face { font-family: 'Righteous'; src: url("/assets/fonts/Righteous-Regular.ttf"); font-weight: normal; font-style: normal; }

@font-face { font-family: 'Material Icons'; font-style: normal; font-weight: 400; src: url("/assets/fonts/Material_Icons.woff2") format("woff2"); }

@font-face { font-family: 'Consolas'; src: url("/assets/fonts/consolas/CONSOLA.TTF") format("truetype"), url("/assets/fonts/consolas/CONSOLAB.TTF") format("truetype"), url("/assets/fonts/consolas/consolai.TTF") format("truetype"), url("/assets/fonts/consolas/consolas.TTF") format("truetype"); }

.highlight .c { color: #586e75; font-style: italic; }

.highlight .err { color: #dc322f; }

.highlight .k { color: #93a1a1; font-weight: bold; }

.highlight .o { color: #93a1a1; font-weight: bold; }

.highlight .cm { color: #586e75; font-style: italic; }

.highlight .cp { color: #586e75; font-weight: bold; }

.highlight .c1 { color: #586e75; font-style: italic; }

.highlight .cs { color: #586e75; font-weight: bold; font-style: italic; }

.highlight .gd { color: #dc322f; }

.highlight .gd .x { color: #dc322f; }

.highlight .ge { color: #839496; font-style: italic; }

.highlight .gr { color: #dc322f; }

.highlight .gh { color: #586e75; }

.highlight .gi { color: #859900; }

.highlight .gi .x { color: #859900; }

.highlight .go { color: #839496; }

.highlight .gp { color: #839496; }

.highlight .gs { color: #93a1a1; font-weight: bold; }

.highlight .gu { color: #586e75; }

.highlight .gt { color: #dc322f; }

.highlight .kc { color: #93a1a1; font-weight: bold; }

.highlight .kd { color: #93a1a1; font-weight: bold; }

.highlight .kp { color: #93a1a1; font-weight: bold; }

.highlight .kr { color: #93a1a1; font-weight: bold; }

.highlight .kt { color: #6c71c4; font-weight: bold; }

.highlight .m { color: #2aa198; }

.highlight .s { color: #d33682; }

.highlight .na { color: #2aa198; }

.highlight .nb { color: #268bd2; }

.highlight .nc { color: #6c71c4; font-weight: bold; }

.highlight .no { color: #2aa198; }

.highlight .ni { color: #6c71c4; }

.highlight .ne { color: #6c71c4; font-weight: bold; }

.highlight .nf { color: #268bd2; font-weight: bold; }

.highlight .nn { color: #839496; }

.highlight .nt { color: #268bd2; }

.highlight .nv { color: #2aa198; }

.highlight .ow { color: #93a1a1; font-weight: bold; }

.highlight .w { color: #586e75; }

.highlight .mf { color: #2aa198; }

.highlight .mh { color: #2aa198; }

.highlight .mi { color: #2aa198; }

.highlight .mo { color: #2aa198; }

.highlight .sb { color: #d33682; }

.highlight .sc { color: #d33682; }

.highlight .sd { color: #d33682; }

.highlight .s2 { color: #d33682; }

.highlight .se { color: #d33682; }

.highlight .sh { color: #d33682; }

.highlight .si { color: #d33682; }

.highlight .sx { color: #d33682; }

.highlight .sr { color: #859900; }

.highlight .s1 { color: #d33682; }

.highlight .ss { color: #d33682; }

.highlight .bp { color: #586e75; }

.highlight .vc { color: #2aa198; }

.highlight .vg { color: #2aa198; }

.highlight .vi { color: #2aa198; }

.highlight .il { color: #2aa198; }

/** Reset some basic elements */
body, h1, h2, h3, h4, h5, h6, p, blockquote, pre, hr, dl, dd, ol, ul, figure { margin: 0; padding: 0; }

/** Basic styling */
body { font: 400 16px/1.7 "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif, "Microsoft YaHei"; color: #111; background-color: #f1f3f5; -webkit-text-size-adjust: 100%; -webkit-font-feature-settings: "kern" 1; -moz-font-feature-settings: "kern" 1; -o-font-feature-settings: "kern" 1; font-feature-settings: "kern" 1; font-kerning: normal; display: flex; min-height: 100vh; flex-direction: column; }

/** Set `margin-bottom` to maintain vertical rhythm */
h1, h2, h3, h4, h5, h6, p, blockquote, pre, ul, ol, dl, figure { margin-bottom: 35px; }

/** `main` element */
main { display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */ }

/** Images */
img { max-width: 100%; vertical-align: middle; }

/** Figures */
figure > img { display: block; }

figcaption { font-size: 14px; }

/** Lists */
ul, ol { margin-left: 35px; }

li > ul, li > ol { margin-bottom: 0; }

/** Headings */
h1, h2, h3, h4, h5, h6 { font-weight: 520; }

/** Links */
a { color: #0c8599; text-decoration: none; }

a:visited { color: #064752; }

a:hover { color: #111; text-decoration: underline; }

.social-media-list a:hover { text-decoration: none; }

.social-media-list a:hover .username { text-decoration: underline; }

/** Blockquotes */
blockquote { color: #868e96; border-left: 4px solid #f1f3f5; padding-left: 35px; font-size: 18px; font-style: italic; }

blockquote > :last-child { margin-bottom: 0; }

/** Code formatting */
pre, code { font-size: 15px; border: 1px solid #f1f3f5; border-radius: 5px; background-color: #002b36; color: #93a1a1; font-family: "Consolas", "monospace"; font-weight: 500; }

code { padding: 2px 5px; }

pre { padding: 8px 12px; overflow-x: auto; }

pre > code { border: 0; padding-right: 0; padding-left: 0; }

.highlighter-rough { position: relative; box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2); }

.language-sh::before, .language-shell::before, .language-bash::before, .language-zsh::before { display: inline-table; width: 100%; padding: 5px 0; color: #f1f3f5; font-weight: 600; content: 'Terminal'; text-align: center; text-shadow: 2px; border-radius: 3px 3px 0 0; background-color: #0c8599; background-size: cover; background-image: linear-gradient(to bottom, rgba(248, 249, 250, 0.4) 0%, rgba(241, 243, 245, 0.1) 84%, rgba(248, 249, 250, 0.2) 100%); }

.language-sh pre, .language-shell pre, .language-bash pre, .language-zsh pre { border-radius: 0 0 5px 5px; border-color: #0c8599; }

/** Wrapper */
.wrapper { max-width: -webkit-calc(860px - (70px * 2)); max-width: calc(860px - (70px * 2)); margin-right: auto; margin-left: auto; padding-right: 70px; padding-left: 70px; }

@media screen and (max-width: 860px) { .wrapper { max-width: -webkit-calc(860px - (70px)); max-width: calc(860px - (70px)); padding-right: 35px; padding-left: 35px; } }

/** Clearfix */
.footer-col-wrappen:after, .wrapper:after { content: ""; display: table; clear: both; }

/** Icons */
.svg-icon { width: 16px; height: 16px; display: inline-block; fill: #868e96; padding-right: 5px; vertical-align: text-top; }

.social-media-list li + li { padding-top: 5px; }

/** Tables */
table { margin-bottom: 70px; max-width: 100%; text-align: left; color: #3f3f3f; border-collapse: collapse; border: 1px solid #868e96; }

table tr:nth-child(even) { background-color: white; }

table th, table td { padding: 11.6666666667px 35px; }

table th { background-color: #e8ebef; border: 1px solid #868e96; border-bottom-width: 2px; }

table td { border: 1px solid #868e96; }

/** Site header */
.site-header { border-bottom: 1px solid #f1f3f5; background-color: #0c8599; width: 100%; position: fixed; z-index: 9; }

.site-cover { width: 100%; min-height: 700px; background-repeat: no-repeat; background-attachment: fixed; background-size: cover; background-image: url("/assets/cover-min.jpg"), linear-gradient(to bottom right, rgba(52, 58, 64, 0.3), rgba(233, 236, 239, 0.05)); background-blend-mode: soft-light; }

.site-title { font-size: 26px; font-weight: 700; line-height: 68px; letter-spacing: -1px; margin-bottom: 0; float: left; }

.site-title img { max-height: 40px; align-items: top; }

.site-title, .site-title:visited { color: #dee2e6; }

.site-nav { float: right; line-height: 61.2px; }

.site-nav .nav-trigger { display: none; }

.site-nav .menu-icon { display: none; }

.site-nav .page-link { color: #dee2e6; font-weight: 600; line-height: 1.7; }

.site-nav .page-link:not(:last-child) { margin-right: 20px; }

.site-nav .separator { border-left: 2px solid #dee2e6; }

@media screen and (max-width: 860px) { .site-nav { position: absolute; top: 9px; right: 35px; background-color: #f1f3f5; border: 1px solid #868e96; border-radius: 5px; text-align: right; } .site-nav label[for="nav-trigger"] { display: block; float: right; width: 36px; height: 36px; z-index: 2; cursor: pointer; } .site-nav .menu-icon { display: block; float: right; width: 36px; height: 26px; line-height: 0; padding-top: 10px; text-align: center; } .site-nav .menu-icon > svg { fill: #343a40; } .site-nav input ~ .trigger { clear: both; display: none; } .site-nav input:checked ~ .trigger { display: block; padding-bottom: 5px; } .site-nav .page-link { display: block; color: #212529; padding: 5px 10px; margin-left: 20px; } .site-nav .page-link:not(:last-child) { margin-right: 0; } .site-nav .separator { border-top: 2px solid; border-left: none; } }

/** Site footer */
.site-footer { box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2); padding-top: 35px; background-color: #f1f3f5; z-index: 8; }

.footer-heading { font-size: 18px; margin-bottom: 23.3333333333px; }

.contact-list, .social-media-list { list-style: none; margin-left: 0; }

.footer-col-wrappen { font-size: 15px; color: #868e96; }

.footer-col { float: left; }

.footer-col:not(:first-child) { padding-left: 35px; }

@media screen and (max-width: 860px) { .footer-col:not(:first-child) { padding-left: 0px; } }

.footer-col:not(:last-child) { margin-bottom: 35px; }

.footer-col-1 { width: -webkit-calc(35% - (70px / 2)); width: calc(35% - (70px / 2)); }

.footer-col-2 { width: -webkit-calc(20% - (70px / 2)); width: calc(20% - (70px / 2)); }

.footer-col-3 { width: -webkit-calc(45% - (70px / 2)); width: calc(45% - (70px / 2)); }

@media screen and (max-width: 860px) { .footer-col-1, .footer-col-2 { width: -webkit-calc(50% - (70px / 2)); width: calc(50% - (70px / 2)); } .footer-col-3 { width: -webkit-calc(100% - (70px / 2)); width: calc(100% - (70px / 2)); } }

@media screen and (max-width: 600px) { .footer-col { float: none; width: -webkit-calc(100% - (70px / 2)); width: calc(100% - (70px / 2)); } }

/** Page content */
.page-content { padding: 103px 0; padding-bottom: 70px; flex: 1; }

@media screen and (max-width: 860px) { .page-content { padding: 35px 0; } }

.page-heading { font-size: 32px; }

.post-list-heading { font-size: 28px; }

.post-list { margin-left: 0; list-style: none; }

.post-list > li { margin-bottom: 35px; }

.post-meta { font-size: 14px; color: #868e96; }

.post-link { display: block; font-size: 24px; }

/** Posts */
.post-header { margin-bottom: 35px; }

.post-title { font-size: 42px; letter-spacing: -1px; line-height: 1; }

@media screen and (max-width: 860px) { .post-title { font-size: 36px; } }

.post-content { margin-bottom: 70px; }

.post-content h2 { font-size: 32px; }

@media screen and (max-width: 860px) { .post-content h2 { font-size: 28px; } }

.post-content h3 { font-size: 26px; }

@media screen and (max-width: 860px) { .post-content h3 { font-size: 22px; } }

.post-content h4 { font-size: 20px; }

@media screen and (max-width: 860px) { .post-content h4 { font-size: 18px; } }

button.to_top { position: fixed; display: flex; right: 3%; bottom: 100px; z-index: 10; background-color: #0c8599; box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2); border-radius: 4px; border-width: 1px; border-color: #e9ecef; color: #f8f9fa; align-items: center; justify-content: center; height: 40px; width: 40px; }

button.to_top:hover { background-color: #0a7081; cursor: pointer; }

button.sidebar-trigger { position: absolute; display: flex; right: -35px; top: 10px; border: none; color: #0c8599; background-color: transparent; align-items: center; justify-content: center; }

dl { box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2); position: relative; margin: 1.5625em 0; padding: 0 1.2rem; border-left: 0.4rem solid rgba(68, 138, 255, 0.8); border-radius: .2rem; background-color: #f8f9fa; overflow: auto; }

dl dd { margin-top: .8rem; }

dl dt { margin: 0 -1.2rem; padding: .8rem 1.2rem .8rem 3.6rem; border-bottom: 1px solid rgba(68, 138, 255, 0.2); background-color: rgba(68, 138, 255, 0.1); font-weight: 700; font-size: 18px; }

dl dt:before { position: absolute; left: 1.2rem; font-size: 1.3rem; color: rgba(68, 138, 255, 0.8); content: "\E88E"; font-family: Material Icons; font-weight: 400; line-height: 1.5rem; text-transform: none; white-space: nowrap; word-wrap: normal; }

dl.summary { border-left-color: rgba(0, 176, 255, 0.8); }

dl.summary dt { background-color: rgba(0, 176, 255, 0.2); border-bottom-color: rgba(0, 176, 255, 0.1); }

dl.summary dt:before { font-family: Material Icons; color: #00b0ff; content: ""; }

dl.note { border-left-color: rgba(0, 176, 255, 0.8); }

dl.note dt { background-color: rgba(0, 176, 255, 0.2); border-bottom-color: rgba(0, 176, 255, 0.1); }

dl.note dt:before { font-family: Material Icons; color: #00b0ff; content: ""; }

dl.hint, dl.tip { border-left-color: rgba(0, 191, 165, 0.8); }

dl.hint dt, dl.tip dt { background-color: rgba(0, 191, 165, 0.2); border-bottom-color: rgba(0, 191, 165, 0.1); }

dl.hint dt:before, dl.tip dt:before { font-family: Material Icons; color: #00bfa5; content: ""; }

dl.info { border-left-color: rgba(0, 184, 212, 0.8); }

dl.info dt { background-color: rgba(0, 184, 212, 0.2); border-bottom-color: rgba(0, 184, 212, 0.1); }

dl.info dt:before { font-family: Material Icons; color: #00b8d4; content: ""; }

dl.success, dl.check, dl.done { border-left-color: rgba(0, 200, 83, 0.8); }

dl.success dt, dl.check dt, dl.done dt { background-color: rgba(0, 200, 83, 0.2); border-bottom-color: rgba(0, 200, 83, 0.1); }

dl.success dt:before, dl.check dt:before, dl.done dt:before { font-family: Material Icons; color: #00c853; content: ""; }

dl.question, dl.help, dl.faq { border-left-color: rgba(100, 221, 23, 0.8); }

dl.question dt, dl.help dt, dl.faq dt { background-color: rgba(100, 221, 23, 0.2); border-bottom-color: rgba(100, 221, 23, 0.1); }

dl.question dt:before, dl.help dt:before, dl.faq dt:before { font-family: Material Icons; color: #64dd17; content: ""; }

dl.warning, dl.caution { border-left-color: rgba(255, 145, 0, 0.8); }

dl.warning dt, dl.caution dt { background-color: rgba(255, 145, 0, 0.2); border-bottom-color: rgba(255, 145, 0, 0.1); }

dl.warning dt:before, dl.caution dt:before { font-family: Material Icons; color: #ff9100; content: ""; }

dl.attention { border-left-color: rgba(255, 145, 0, 0.8); }

dl.attention dt { background-color: rgba(255, 145, 0, 0.2); border-bottom-color: rgba(255, 145, 0, 0.1); }

dl.attention dt:before { font-family: Material Icons; color: #ff9100; content: ""; }

dl.failure, dl.fail, dl.missing { border-left-color: rgba(255, 82, 82, 0.8); }

dl.failure dt, dl.fail dt, dl.missing dt { background-color: rgba(255, 82, 82, 0.2); border-bottom-color: rgba(255, 82, 82, 0.1); }

dl.failure dt:before, dl.fail dt:before, dl.missing dt:before { font-family: Material Icons; color: #ff5252; content: ""; }

dl.danger { border-left-color: rgba(255, 23, 68, 0.8); }

dl.danger dt { background-color: rgba(255, 23, 68, 0.2); border-bottom-color: rgba(255, 23, 68, 0.1); }

dl.danger dt:before { font-family: Material Icons; color: #ff1744; content: ""; }

dl.error { border-left-color: rgba(255, 23, 68, 0.8); }

dl.error dt { background-color: rgba(255, 23, 68, 0.2); border-bottom-color: rgba(255, 23, 68, 0.1); }

dl.error dt:before { font-family: Material Icons; color: #ff1744; content: ""; }

dl.bug { border-left-color: rgba(255, 23, 68, 0.8); }

dl.bug dt { background-color: rgba(255, 23, 68, 0.2); border-bottom-color: rgba(255, 23, 68, 0.1); }

dl.bug dt:before { font-family: Material Icons; color: #ff1744; content: ""; }

dl.example, dl.snippet { border-left-color: rgba(0, 184, 212, 0.8); }

dl.example dt, dl.snippet dt { background-color: rgba(0, 184, 212, 0.2); border-bottom-color: rgba(0, 184, 212, 0.1); }

dl.example dt:before, dl.snippet dt:before { font-family: Material Icons; color: #00b8d4; content: ""; }

dl.quote, dl.cite { border-left-color: rgba(158, 158, 158, 0.8); }

dl.quote dt, dl.cite dt { background-color: rgba(158, 158, 158, 0.2); border-bottom-color: rgba(158, 158, 158, 0.1); }

dl.quote dt:before, dl.cite dt:before { font-family: Material Icons; color: #9e9e9e; content: ""; }

dl.theorem { border-left-color: rgba(0, 176, 255, 0.8); }

dl.theorem dt { background-color: rgba(0, 176, 255, 0.2); border-bottom-color: rgba(0, 176, 255, 0.1); }

dl.theorem dt:before { font-family: Righteous; color: #00b0ff; content: "Thm"; }

dl.theorem dt { padding: .8rem 1.2rem .8rem 4.8rem; }

dl.lemma { border-left-color: rgba(0, 176, 255, 0.8); }

dl.lemma dt { background-color: rgba(0, 176, 255, 0.2); border-bottom-color: rgba(0, 176, 255, 0.1); }

dl.lemma dt:before { font-family: Righteous; color: #00b0ff; content: "Lem"; }

dl.lemma dt { padding: .8rem 1.2rem .8rem 4.8rem; }

dl.corollary { border-left-color: rgba(0, 176, 255, 0.8); }

dl.corollary dt { background-color: rgba(0, 176, 255, 0.2); border-bottom-color: rgba(0, 176, 255, 0.1); }

dl.corollary dt:before { font-family: Righteous; color: #00b0ff; content: "Cor"; }

dl.corollary dt { padding: .8rem 1.2rem .8rem 4.4rem; }

dl.definition { border-left-color: rgba(0, 184, 212, 0.8); }

dl.definition dt { background-color: rgba(0, 184, 212, 0.2); border-bottom-color: rgba(0, 184, 212, 0.1); }

dl.definition dt:before { font-family: Righteous; color: #00b8d4; content: "Def"; }

dl.definition dt { padding: .8rem 1.2rem .8rem 4.4rem; }

.post-content blockquote { color: #111111; font-size: 16px; box-shadow: 0 2px 2px 0 rgba(0, 0, 0, 0.14), 0 1px 5px 0 rgba(0, 0, 0, 0.12), 0 3px 1px -2px rgba(0, 0, 0, 0.2); position: relative; margin: 1.5625em 0; padding: .8rem 1.2rem 15px; padding-top: .8rem; border-left: 0.4rem solid rgba(158, 158, 158, 0.8); border-radius: .2rem; background-color: #f8f9fa; overflow: auto; }

.post-content blockquote.note { border-left-color: rgba(0, 176, 255, 0.8); font-style: normal; }

.post-content blockquote.attention, .post-content blockquote .warning { border-left-color: rgba(255, 145, 0, 0.8); font-style: normal; }

.post-content blockquote.info { border-left-color: rgba(0, 184, 212, 0.8); font-style: normal; }

.pannel { padding-top: 50px; }

.pannel.sidebar { float: left; width: 30%; position: sticky; position: -webkit-sticky; top: 50px; height: 1px; z-index: 8; }

.pannel.sidebar .sidebar-float { overflow: visible; position: relative; }

.pannel.sidebar .sidebar-float h2 { font-size: 32px; font-weight: 600; }

.pannel.sidebar .sidebar-float .sidebar-scroller { padding-right: 60px; margin-right: -60px; overflow-y: scroll; scrollbar-width: thin; scrollbar-color: #ced4da transparent; }

.pannel.sidebar .sidebar-float .sidebar-scroller::-webkit-scrollbar { width: 6px; }

.pannel.sidebar .sidebar-float .sidebar-scroller::-webkit-scrollbar-thumb { background-color: #ced4da; -webkit-border-radius: 3px; border-radius: 3px; }

.pannel.sidebar .sidebar-float .sidebar-scroller::-webkit-scrollbar-thumb:hover { background-color: #868e96; }

.pannel.sidebar .sidebar-float ul.time-line, .pannel.sidebar .sidebar-float ul.section-nav { font-size: 19.2px; list-style-type: none; margin-left: initial; }

.pannel.sidebar .sidebar-float ul.time-line > li > ul, .pannel.sidebar .sidebar-float ul.section-nav > li > ul { list-style-type: none; margin-left: 17.5px; font-weight: 400; font-size: 16px; }

@media screen and (max-width: 860px) { .pannel.sidebar { width: 50%; margin: auto; } .pannel.sidebar .sidebar-float { padding-top: 35px; margin-top: -35px; background-color: #f1f3f5; } .pannel.sidebar .sidebar-float .sidebar-scroller { padding-right: 0; margin-right: 0; } }

.pannel.content { float: none; width: 55%; margin: auto; box-shadow: 0 2px 4px rgba(0, 0, 0, 0.2); background-color: #f8f9fa; z-index: 2; }

@media screen and (max-width: 860px) { .pannel.content { float: none; width: 95%; } }

.pannel.content .anchor { top: -118px; position: relative; }

.pannel.content h1, .pannel.content h2, .pannel.content h3, .pannel.content h4, .pannel.content h5, .pannel.content h5 { margin-top: -118px; padding-top: 118px; }

.pannel.home { margin-top: 168px; margin-left: 10%; width: 80%; font-weight: 800; font-size: 40px; text-align: center; color: #f1f3f5; -webkit-text-stroke: 1px rgba(52, 58, 64, 0.2); }

.breadcrumb { font-size: 15px; line-height: 1; padding: 8px 15px; margin-bottom: 20px; margin-left: 0px; list-style: none; background-color: #f1f3f5; border-radius: 4px; }

.breadcrumb > li { display: inline-block; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; max-width: 60%; }

.breadcrumb > li:last-child { float: right; }

.breadcrumb .hover-info { visibility: hidden; background-color: #ced4da; text-align: center; padding: 5px 5px; border-radius: 6px; font-size: 11.2px; position: absolute; margin-top: -28.8px; margin-left: 10px; z-index: 1; }

.breadcrumb:hover .hover-info { visibility: visible; }

.breadcrumb > li + li:before { content: "/\00a0"; padding: 0 5px; }

.breadcrumb:hover { background-color: #edf2ff; }

mjx-container { overflow-x: auto; overflow-y: hidden; max-width: 100%; }

/*# sourceMappingURL=main.css.map */