article details p{margin-top:.6rem;margin-bottom:.3rem}@media (prefers-reduced-motion){*,:after,:before{transition:none!important}}html{font-size:125%;height:100%;overflow-x:hidden}body{font-size:.5rem;min-height:100%;position:relative;width:100%}:root{--md-admonition-icon--note:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M12 2C6.47 2 2 6.47 2 12s4.47 10 10 10 10-4.47 10-10S17.53 2 12 2m3.1 5.07c.14 0 .28.05.4.16l1.27 1.27c.23.22.23.57 0 .78l-1 1-2.05-2.05 1-1c.1-.11.24-.16.38-.16m-1.97 1.74 2.06 2.06-6.06 6.06H7.07v-2.06z"/></svg>');--md-admonition-icon--abstract:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M17 9H7V7h10m0 6H7v-2h10m-3 6H7v-2h7M12 3a1 1 0 0 1 1 1 1 1 0 0 1-1 1 1 1 0 0 1-1-1 1 1 0 0 1 1-1m7 0h-4.18C14.4 1.84 13.3 1 12 1s-2.4.84-2.82 2H5a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h14a2 2 0 0 0 2-2V5a2 2 0 0 0-2-2"/></svg>');--md-admonition-icon--info:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 9h-2V7h2m0 10h-2v-6h2m-1-9A10 10 0 0 0 2 12a10 10 0 0 0 10 10 10 10 0 0 0 10-10A10 10 0 0 0 12 2"/></svg>');--md-admonition-icon--tip:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M17.66 11.2c-.23-.3-.51-.56-.77-.82-.67-.6-1.43-1.03-2.07-1.66C13.33 7.26 13 4.85 13.95 3c-.95.23-1.78.75-2.49 1.32-2.59 2.08-3.61 5.75-2.39 8.9.04.1.08.2.08.33 0 .22-.15.42-.35.5-.23.1-.47.04-.66-.12a.6.6 0 0 1-.14-.17c-1.13-1.43-1.31-3.48-.55-5.12C5.78 10 4.87 12.3 5 14.47c.06.5.12 1 .29 1.5.14.6.41 1.2.71 1.73 1.08 1.73 2.95 2.97 4.96 3.22 2.14.27 4.43-.12 6.07-1.6 1.83-1.66 2.47-4.32 1.53-6.6l-.13-.26c-.21-.46-.77-1.26-.77-1.26m-3.16 6.3c-.28.24-.74.5-1.1.6-1.12.4-2.24-.16-2.9-.82 1.19-.28 1.9-1.16 2.11-2.05.17-.8-.15-1.46-.28-2.23-.12-.74-.1-1.37.17-2.06.19.38.39.76.63 1.06.77 1 1.98 1.44 2.24 2.8.04.14.06.28.06.43.03.82-.33 1.72-.93 2.27"/></svg>');--md-admonition-icon--success:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M21 7 9 19l-5.5-5.5 1.41-1.41L9 16.17 19.59 5.59z"/></svg>');--md-admonition-icon--question:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="m15.07 11.25-.9.92C13.45 12.89 13 13.5 13 15h-2v-.5c0-1.11.45-2.11 1.17-2.83l1.24-1.26c.37-.36.59-.86.59-1.41a2 2 0 0 0-2-2 2 2 0 0 0-2 2H8a4 4 0 0 1 4-4 4 4 0 0 1 4 4 3.2 3.2 0 0 1-.93 2.25M13 19h-2v-2h2M12 2A10 10 0 0 0 2 12a10 10 0 0 0 10 10 10 10 0 0 0 10-10c0-5.53-4.5-10-10-10"/></svg>');--md-admonition-icon--warning:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M13 14h-2V9h2m0 9h-2v-2h2M1 21h22L12 2z"/></svg>');--md-admonition-icon--failure:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M19 6.41 17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"/></svg>');--md-admonition-icon--danger:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="m11.5 20 4.86-9.73H13V4l-5 9.73h3.5zM12 2c2.75 0 5.1 1 7.05 2.95S22 9.25 22 12s-1 5.1-2.95 7.05S14.75 22 12 22s-5.1-1-7.05-2.95S2 14.75 2 12s1-5.1 2.95-7.05S9.25 2 12 2"/></svg>');--md-admonition-icon--bug:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M11 13h2v1h-2zm10-8v6c0 5.5-3.8 10.7-9 12-5.2-1.3-9-6.5-9-12V5l9-4zm-4 5h-2.2c-.2-.6-.6-1.1-1.1-1.5l1.2-1.2-.7-.7L12.8 8H12c-.2 0-.5 0-.7.1L9.9 6.6l-.8.8 1.2 1.2c-.5.3-.9.8-1.1 1.4H7v1h2v1H7v1h2v1H7v1h2.2c.4 1.2 1.5 2 2.8 2s2.4-.8 2.8-2H17v-1h-2v-1h2v-1h-2v-1h2zm-6 2h2v-1h-2z"/></svg>');--md-admonition-icon--example:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M7 2v2h1v14a4 4 0 0 0 4 4 4 4 0 0 0 4-4V4h1V2zm4 14c-.6 0-1-.4-1-1s.4-1 1-1 1 .4 1 1-.4 1-1 1m2-4c-.6 0-1-.4-1-1s.4-1 1-1 1 .4 1 1-.4 1-1 1m1-5h-4V4h4z"/></svg>');--md-admonition-icon--quote:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M14 17h3l2-4V7h-6v6h3M6 17h3l2-4V7H5v6h3z"/></svg>')}article .admonition,article details{background-color:var(--md-admonition-bg-color);border:.075rem solid #448aff;border-radius:.2rem;box-shadow:var(--md-shadow-z1);color:var(--md-admonition-fg-color);display:flow-root;font-size:.64rem;margin:1.5625em 0;padding:0 .6rem;page-break-inside:avoid;transition:box-shadow 125ms}@media print{article .admonition,article details{box-shadow:none}}article .admonition:focus-within,article details:focus-within{box-shadow:0 0 0 .2rem #448aff1a}article .admonition>*,article details>*{box-sizing:border-box}article .admonition .admonition,article .admonition details,article details .admonition,article details details{margin-bottom:1em;margin-top:1em}article .admonition article__scrollwrap,article details article__scrollwrap{margin:1em -.6rem}article .admonition article__table,article details article__table{padding:0 .6rem}article .admonition>.tabbed-set:only-child,article details>.tabbed-set:only-child{margin-top:0}html article .admonition>:last-of-type,html article details>:last-of-type{margin-bottom:.6rem}[dir=ltr] article .admonition-title,[dir=ltr] article summary{padding-left:2rem;padding-right:.6rem}[dir=rtl] article .admonition-title,[dir=rtl] article summary{padding-left:.6rem;padding-right:2rem}[dir=ltr] article .admonition-title,[dir=ltr] article summary{border-left-width:.2rem}[dir=rtl] article .admonition-title,[dir=rtl] article summary{border-right-width:.2rem}[dir=ltr] article .admonition-title,[dir=ltr] article summary{border-top-left-radius:.1rem}[dir=ltr] article .admonition-title,[dir=ltr] article summary,[dir=rtl] article .admonition-title,[dir=rtl] article summary{border-top-right-radius:.1rem}[dir=rtl] article .admonition-title,[dir=rtl] article summary{border-top-left-radius:.1rem}article .admonition-title,article summary{background-color:#448aff1a;border:none;font-weight:700;margin:0 -.6rem;padding-bottom:.4rem;padding-top:.4rem;position:relative}html article .admonition-title:last-of-type,html article summary:last-of-type{margin-bottom:0}[dir=ltr] article .admonition-title:before,[dir=ltr] article summary:before{left:.6rem}[dir=rtl] article .admonition-title:before,[dir=rtl] article summary:before{right:.6rem}article .admonition-title:before,article summary:before{background-color:#448aff;content:"";height:1rem;-webkit-mask-image:var(--md-admonition-icon--note);mask-image:var(--md-admonition-icon--note);-webkit-mask-position:center;mask-position:center;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat;-webkit-mask-size:contain;mask-size:contain;position:absolute;top:.625em;width:1rem;left:.6rem}article summary{text-indent:2rem}article .admonition-title code,article summary code{box-shadow:0 0 0 .05rem var(--md-default-fg-color--lightest)}article .admonition.note,article details.note{border-color:#448aff}article .admonition.note:focus-within,article details.note:focus-within{box-shadow:0 0 0 .2rem #448aff1a}article .note>.admonition-title,article .note>summary{background-color:#448aff1a}article .note>.admonition-title:before,article .note>summary:before{background-color:#448aff;-webkit-mask-image:var(--md-admonition-icon--note);mask-image:var(--md-admonition-icon--note)}article .note>.admonition-title:after,article .note>summary:after{color:#448aff}article .admonition.abstract,article details.abstract{border-color:#00b0ff}article .admonition.abstract:focus-within,article details.abstract:focus-within{box-shadow:0 0 0 .2rem #00b0ff1a}article .abstract>.admonition-title,article .abstract>summary{background-color:#00b0ff1a}article .abstract>.admonition-title:before,article .abstract>summary:before{background-color:#00b0ff;-webkit-mask-image:var(--md-admonition-icon--abstract);mask-image:var(--md-admonition-icon--abstract)}article .abstract>.admonition-title:after,article .abstract>summary:after{color:#00b0ff}article .admonition.info,article details.info{border-color:#00b8d4}article .admonition.info:focus-within,article details.info:focus-within{box-shadow:0 0 0 .2rem #00b8d41a}article .info>.admonition-title,article .info>summary{background-color:#00b8d41a}article .info>.admonition-title:before,article .info>summary:before{background-color:#00b8d4;-webkit-mask-image:var(--md-admonition-icon--info);mask-image:var(--md-admonition-icon--info)}article .info>.admonition-title:after,article .info>summary:after{color:#00b8d4}article .admonition.tip,article details.tip{border-color:#00bfa5}article .admonition.tip:focus-within,article details.tip:focus-within{box-shadow:0 0 0 .2rem #00bfa51a}article .tip>.admonition-title,article .tip>summary{background-color:#00bfa51a}article .tip>.admonition-title:before,article .tip>summary:before{background-color:#00bfa5;-webkit-mask-image:var(--md-admonition-icon--tip);mask-image:var(--md-admonition-icon--tip)}article .tip>.admonition-title:after,article .tip>summary:after{color:#00bfa5}article .admonition.success,article details.success{border-color:#00c853}article .admonition.success:focus-within,article details.success:focus-within{box-shadow:0 0 0 .2rem #00c8531a}article .success>.admonition-title,article .success>summary{background-color:#00c8531a}article .success>.admonition-title:before,article .success>summary:before{background-color:#00c853;-webkit-mask-image:var(--md-admonition-icon--success);mask-image:var(--md-admonition-icon--success)}article .success>.admonition-title:after,article .success>summary:after{color:#00c853}article .admonition.question,article details.question{border-color:#64dd17}article .admonition.question:focus-within,article details.question:focus-within{box-shadow:0 0 0 .2rem #64dd171a}article .question>.admonition-title,article .question>summary{background-color:#64dd171a}article .question>.admonition-title:before,article .question>summary:before{background-color:#64dd17;-webkit-mask-image:var(--md-admonition-icon--question);mask-image:var(--md-admonition-icon--question)}article .question>.admonition-title:after,article .question>summary:after{color:#64dd17}article .admonition.warning,article details.warning{border-color:#ff9100}article .admonition.warning:focus-within,article details.warning:focus-within{box-shadow:0 0 0 .2rem #ff91001a}article .warning>.admonition-title,article .warning>summary{background-color:#ff91001a}article .warning>.admonition-title:before,article .warning>summary:before{background-color:#ff9100;-webkit-mask-image:var(--md-admonition-icon--warning);mask-image:var(--md-admonition-icon--warning)}article .warning>.admonition-title:after,article .warning>summary:after{color:#ff9100}article .admonition.failure,article details.failure{border-color:#ff5252}article .admonition.failure:focus-within,article details.failure:focus-within{box-shadow:0 0 0 .2rem #ff52521a}article .failure>.admonition-title,article .failure>summary{background-color:#ff52521a}article .failure>.admonition-title:before,article .failure>summary:before{background-color:#ff5252;-webkit-mask-image:var(--md-admonition-icon--failure);mask-image:var(--md-admonition-icon--failure)}article .failure>.admonition-title:after,article .failure>summary:after{color:#ff5252}article .admonition.danger,article details.danger{border-color:#ff1744}article .admonition.danger:focus-within,article details.danger:focus-within{box-shadow:0 0 0 .2rem #ff17441a}article .danger>.admonition-title,article .danger>summary{background-color:#ff17441a}article .danger>.admonition-title:before,article .danger>summary:before{background-color:#ff1744;-webkit-mask-image:var(--md-admonition-icon--danger);mask-image:var(--md-admonition-icon--danger)}article .danger>.admonition-title:after,article .danger>summary:after{color:#ff1744}article .admonition.bug,article details.bug{border-color:#f50057}article .admonition.bug:focus-within,article details.bug:focus-within{box-shadow:0 0 0 .2rem #f500571a}article .bug>.admonition-title,article .bug>summary{background-color:#f500571a}article .bug>.admonition-title:before,article .bug>summary:before{background-color:#f50057;-webkit-mask-image:var(--md-admonition-icon--bug);mask-image:var(--md-admonition-icon--bug)}article .bug>.admonition-title:after,article .bug>summary:after{color:#f50057}article .admonition.example,article details.example{border-color:#7c4dff}article .admonition.example:focus-within,article details.example:focus-within{box-shadow:0 0 0 .2rem #7c4dff1a}article .example>.admonition-title,article .example>summary{background-color:#7c4dff1a}article .example>.admonition-title:before,article .example>summary:before{background-color:#7c4dff;-webkit-mask-image:var(--md-admonition-icon--example);mask-image:var(--md-admonition-icon--example)}article .example>.admonition-title:after,article .example>summary:after{color:#7c4dff}article .admonition.quote,article details.quote{border-color:#9e9e9e}article .admonition.quote:focus-within,article details.quote:focus-within{box-shadow:0 0 0 .2rem #9e9e9e1a}article .quote>.admonition-title,article .quote>summary{background-color:#9e9e9e1a}article .quote>.admonition-title:before,article .quote>summary:before{background-color:#9e9e9e;-webkit-mask-image:var(--md-admonition-icon--quote);mask-image:var(--md-admonition-icon--quote)}article .quote>.admonition-title:after,article .quote>summary:after{color:#9e9e9e}:root{--md-details-icon:url('data:image/svg+xml;charset=utf-8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M8.59 16.58 13.17 12 8.59 7.41 10 6l6 6-6 6z"/></svg>')}article details{display:flow-root;overflow:visible;padding-top:0}article details[open]>summary:after{transform:rotate(90deg)}article details:not([open]){box-shadow:none;padding-bottom:0}article details:not([open])>summary{border-radius:.1rem}[dir=ltr] article summary{padding-right:1.8rem}[dir=rtl] article summary{padding-left:1.8rem}[dir=ltr] article summary{border-top-left-radius:.1rem}[dir=ltr] article summary,[dir=rtl] article summary{border-top-right-radius:.1rem}[dir=rtl] article summary{border-top-left-radius:.1rem}article summary{cursor:pointer;display:block;min-height:1rem;overflow:hidden}article summary.focus-visible{outline-color:var(--md-accent-fg-color);outline-offset:.2rem}article summary:not(.focus-visible){-webkit-tap-highlight-color:transparent;outline:0}[dir=ltr] article summary:after{right:.4rem}[dir=rtl] article summary:after{left:.4rem}article summary:after{background-color:currentcolor;content:"";height:1rem;-webkit-mask-image:var(--md-details-icon);mask-image:var(--md-details-icon);-webkit-mask-position:center;mask-position:center;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat;-webkit-mask-size:contain;mask-size:contain;position:absolute;top:.625em;transform:rotate(0);transition:transform .25s;width:1rem}[dir=rtl] article summary:after{transform:rotate(180deg)}article summary::marker{display:none}article summary::-webkit-details-marker{display:none}@media print{a::after{color:#0085a1!important}.sidebar-container{display:none}#SOHUCS{display:none}footer{display:none}@page{counter-increment:pageNumber;margin-bottom:2rem;@bottom-center{content:counter(pageNumber);bottom:2em}}}@media (min-width:1200px){.post-container,.sidebar-container{padding-right:5%}}@media (min-width:768px){.post-container{padding-right:5%}}.sidebar-container{color:#bfbfbf;font-size:14px}.sidebar-container h5{color:#a3a3a3;padding-bottom:1em}.sidebar-container h5 a{color:#a3a3a3!important;text-decoration:none}.sidebar-container a{color:#bfbfbf!important}.sidebar-container a:active,.sidebar-container a:hover{color:#0085a1!important}.sidebar-container .tags a{border-color:#bfbfbf}.sidebar-container .tags a:active,.sidebar-container .tags a:hover{border-color:#0085a1}.sidebar-container .short-about img{width:80%;display:block;border-radius:5px;margin-bottom:20px}.sidebar-container .short-about p{margin-top:0;margin-bottom:20px}.sidebar-container .short-about .list-inline>li{padding-left:0}.catalog-container{padding:0}.side-catalog{display:block;overflow:auto;height:100%;padding-bottom:40px;width:195px}.side-catalog.fixed{overflow:auto;position:fixed;top:-21px}::-webkit-scrollbar-track{-webkit-box-shadow:inset 0 0 6px rgba(0,0,0,.3);border-radius:15px;background-color:#f5f5f5}::-webkit-scrollbar{height:5px;width:5px;border-radius:15px;background-color:#f5f5f5}::-webkit-scrollbar-thumb{border-radius:15px;-webkit-box-shadow:inset 0 0 6px rgba(0,0,0,.3);background-color:#bcbcbc}.side-catalog.fold .catalog-toggle::before{content:"+"}.side-catalog.fold .catalog-body{display:none}.side-catalog .catalog-toggle::before{content:"−";position:relative;margin-right:5px;bottom:1px}.side-catalog .catalog-body{position:relative;list-style:none;height:auto;overflow:hidden;padding-left:0;padding-right:5px;text-indent:0}.side-catalog .catalog-body li{position:relative;list-style:none}.side-catalog .catalog-body li a{padding-left:10px;max-width:180px;display:inline-block;vertical-align:middle;height:30px;line-height:30px;overflow:hidden;text-decoration:none;white-space:nowrap;text-overflow:ellipsis}.side-catalog .catalog-body .h1_nav{margin-left:0;font-size:13px;font-weight:700}.side-catalog .catalog-body .h2_nav{margin-left:4px;font-size:13px;font-weight:700}.side-catalog .catalog-body .h3_nav{margin-left:8px;font-size:13px;font-weight:700}.side-catalog .catalog-body .h4_nav{margin-left:12px;font-size:12px}.side-catalog .catalog-body .h4_nav a{max-width:170px}.side-catalog .catalog-body .h5_nav{margin-left:16px;font-size:12px}.side-catalog .catalog-body .h6_nav{margin-left:20px;font-size:12px}.side-catalog .catalog-body .h5_nav .h6_nav a{max-width:170px}.side-catalog .catalog-body .active{border-radius:4px;background-color:#f5f5f5}.side-catalog .catalog-body .active a{color:#0085a1!important}@media (max-width:1200px){.side-catalog{display:none}}.paper-snackbar{transition-property:opacity,bottom,left,right,width,margin,border-radius;transition-duration:.5s;transition-timing-function:ease;font-size:14px;min-height:14px;background-color:#323232;background-color:#0085a1;position:fixed;display:flex;justify-content:space-between;align-items:center;color:#fff;line-height:22px;padding:18px 24px;bottom:0;opacity:0}@media (min-width:640px){.paper-snackbar{min-width:288px;max-width:568px;display:inline-flex;border-radius:2px;margin:24px;bottom:-100px}}@media (max-width:640px){.paper-snackbar{left:0;right:0}}.paper-snackbar .action{background:inherit;display:inline-block;border:none;font-size:inherit;text-transform:uppercase;color:#ffeb3b;margin:0 0 0 24px;padding:0;min-width:min-content;outline:0}.paper-button{position:relative;padding:4px 0;margin:1em;width:160px;overflow:hidden;user-select:none;color:#000;text-transform:uppercase;border-radius:3px;outline-color:#a3a3a3}.paper-button:hover{cursor:pointer}.paper-button button,.paper-button input[type=submit]{background:inherit;border:none;display:block;width:100%;height:100%;font-size:1em;color:#000;text-transform:uppercase}.paper-button.colored,.paper-button.colored button{color:#4285f4}.paper-button.raised-button.colored{background-color:#4285f4}.paper-button .raised-button{box-shadow:0 2px 5px 0 rgba(0,0,0,.26)}.paper-button.raised-button.colored{background:#4285f4;color:#fff}.paper-button[disabled]{background-color:#eaeaea!important;color:#a8a8a8!important;cursor:auto}.paper-button:hover{background-color:#eaeaea}.paper-button.raised-button.colored:hover{background-color:#3367d6}button.paper-button{border:0;font-size:1em;line-height:25px;background-color:#fff}.paper-button input[type=submit]{outline-color:#a3a3a3}.paper-button.colored.raised-button input[type=submit]{color:#fff}.paper-shadow-animated.paper-shadow{transition:box-shadow .28s cubic-bezier(.4,0,.2,1)}.paper-shadow-top-z-1{box-shadow:0 2px 10px 0 rgba(0,0,0,.16)}.paper-shadow-bottom-z-1{box-shadow:0 2px 5px 0 rgba(0,0,0,.26)}.paper-shadow-top-z-2{box-shadow:0 6px 20px 0 rgba(0,0,0,.19)}.paper-shadow-bottom-z-2{box-shadow:0 8px 17px 0 rgba(0,0,0,.2)}.paper-shadow-top-z-3{box-shadow:0 17px 50px 0 rgba(0,0,0,.19)}.paper-shadow-bottom-z-3{box-shadow:0 12px 15px 0 rgba(0,0,0,.24)}.paper-shadow-top-z-4{box-shadow:0 25px 55px 0 rgba(0,0,0,.21)}.card{background:#fff;width:300px;height:300px;position:relative;margin:16px;border-radius:2px}.highlight,pre.highlight{background:#282c34;color:#abb2bf}.highlight pre{background:#282c34}.highlight .hll{background:#282c34}.highlight .c{color:#5c6370;font-style:italic}.highlight .err{color:#960050;background-color:#1e0010}.language-coq .highlight .err{background-color:transparent}.highlight .k,.language-coq .highlight .err{color:#c678dd}.highlight .l{color:#98c379}.highlight .n{color:#abb2bf}.highlight .o{color:#dcdcaa}.highlight .p{color:#179fff}.highlight .cm{color:#5c6370;font-style:italic}.highlight .cp{color:#5c6370}.highlight .c1{color:#5c6370;font-style:italic}.highlight .cs{color:#5c6370;font-style:italic}.highlight .ge{font-style:italic}.highlight .gs{font-weight:700}.highlight .kc{color:#c678dd}.highlight .kd{color:#c678dd}.highlight .kn{color:#c678dd}.highlight .kp{color:#c678dd}.highlight .kr{color:#c678dd}.highlight .kt{color:#c678dd}.highlight .ld{color:#98c379}.highlight .m{color:#d19a66}.highlight .s{color:#98c379}.highlight .na{color:#d19a66}.highlight .nb{color:#e5c07b}.highlight .nc{color:#e5c07b}.highlight .no{color:#e5c07b}.highlight .nd{color:#e5c07b}.highlight .ni{color:#e5c07b}.highlight .ne{color:#e5c07b}.highlight .nf{color:#abb2bf}.highlight .nl{color:#e5c07b}.highlight .nn{color:#abb2bf}.highlight .nx{color:#abb2bf}.highlight .py{color:#e5c07b}.highlight .nt{color:#e06c75}.highlight .nv{color:#e5c07b}.highlight .ow{font-weight:700}.highlight .w{color:#f8f8f2}.highlight .mf{color:#d19a66}.highlight .mh{color:#d19a66}.highlight .mi{color:#d19a66}.highlight .mo{color:#d19a66}.highlight .sb{color:#98c379}.highlight .sc{color:#98c379}.highlight .sd{color:#98c379}.highlight .s2{color:#98c379}.highlight .se{color:#98c379}.highlight .sh{color:#98c379}.highlight .si{color:#98c379}.highlight .sx{color:#98c379}.highlight .sr{color:#56b6c2}.highlight .s1{color:#98c379}.highlight .ss{color:#56b6c2}.highlight .bp{color:#e5c07b}.highlight .vc{color:#e5c07b}.highlight .vg{color:#e5c07b}.highlight .vi{color:#e06c75}.highlight .il{color:#d19a66}.highlight .gu{color:#75715e}.highlight .gd{color:#f92672}.highlight .gi{color:#a6e22e}.highlighter-rouge .highlight{margin-bottom:10px;border-radius:6px}.highlighter-rouge .highlight pre{font-size:14px;line-height:1.5;color:#555;background:0 0;border:0;margin:0;padding:0;word-wrap:normal}.highlighter-rouge .highlight .rouge-table .rouge-code,.highlighter-rouge .highlight .rouge-table .rouge-gutter{border:0!important}.highlighter-rouge .highlight .rouge-code pre{color:#abb2bf}.highlighter-rouge .highlight .table-responsive{margin:0;border:0}.highlighter-rouge .highlight .table{margin:0;table-layout:fixed}.highlighter-rouge .highlight table>tbody>tr>td{margin:0;border:0;padding:0}.highlighter-rouge .highlight table>tbody>tr>td>pre{padding:14px}.highlighter-rouge .highlight td.rouge-gutter{width:56px}.highlighter-rouge .highlight .lineno{text-align:right;border-radius:0}@media (max-width:480px){.highlighter-rouge .highlight{margin-left:-15px;margin-right:-15px;border-radius:0}.highlighter-rouge .highlight td.rouge-gutter{width:36px}.highlighter-rouge .highlight table>tbody>tr>td>pre{padding:14px 10px}}.search-page{position:fixed;top:0;right:0;bottom:0;left:0;z-index:100;background:#fff;-webkit-transition:all .4s cubic-bezier(.32,1,.23,1);transition:all .4s cubic-bezier(.32,1,.23,1);-webkit-transform:translate(0,100%);-ms-transform:translate(0,100%);transform:translate(0,100%);opacity:0}.search-page.search-active{opacity:1;-webkit-transform:translate(0,0) scale(1,1);-ms-transform:translate(0,0) scale(1,1);transform:translate(0,0) scale(1,1)}.search-page.search-active .search-main{opacity:1}.search-page .search-main{padding-top:80px;height:100%;opacity:0;-webkit-transition:all .4s cubic-bezier(.32,1,.23,1) 250ms;transition:all .4s cubic-bezier(.32,1,.23,1) 250ms}.search-page .search-main .row,.search-page .search-main .row>div{height:100%}.search-page .search-icon-close-container{position:absolute;z-index:1;padding:16px;top:0;right:2px}.search-page .search-icon-close-container i{font-size:20px}.search-page #search-input{font-family:"Fira Code",Menlo,Monaco,Consolas,"Courier New",monospace;border:none;outline:0;padding:0;margin:0;width:100%;font-size:30px;font-weight:700;color:#404040}@media only screen and (min-width:768px){.search-page #search-input{margin-left:20px}}.search-page #search-results{font-size:20px;overflow:auto;height:100%;-webkit-overflow-scrolling:touch;padding-bottom:80px}.search-icon a,.search-icon-close{cursor:pointer;font-size:30px;color:#311e3e;-webkit-transition:all .25s;transition:all .25s}.search-icon a:hover,.search-icon-close:hover{opacity:.8}.search-icon,.search-icon-close{font-size:16px}body{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;font-size:14px;color:#404040;overflow-x:hidden;text-rendering:auto;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}p{margin:14px 0}@media screen and (max-width:768px){p{margin:25px 0}}h1,h2,h3,h4,h5,h6{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;line-height:1.1;font-weight:700;margin-block:0}h4{font-size:21px}a{color:#404040}a:focus,a:hover{color:#0085a1}a img:focus,a img:hover{cursor:zoom-in}article{overflow:hidden}blockquote{color:gray;font-size:.95em;margin:20px 0 20px}blockquote p{margin:0}small.img-hint{display:block;margin-top:-20px;text-align:center}br+small.img-hint{margin-top:-40px}img.shadow{box-shadow:rgba(0,0,0,.258824) 0 2px 5px 0}select{-webkit-appearance:none;margin-top:15px;color:#337ab7;border-color:#337ab7;padding:0 .4em;background:#fff}select.sel-lang{min-height:28px;font-size:14px}table{margin-top:10px}table.table>tbody td,table.table>tbody th,table.table>thead td,table.table>thead th{border:1px solid #eee!important}@media screen and (max-width:767px){.table-responsive{border:0}}hr.small{max-width:100px;margin:15px auto;border-width:4px;border-color:#fff}.table-responsive,pre{-webkit-overflow-scrolling:touch}pre code{display:block;width:auto;white-space:pre;word-wrap:normal}code,kbd,pre,samp{font-family:"Fira Code",Menlo,Monaco,Consolas,"Courier New",monospace;tab-size:4}.postlist-container{margin-bottom:15px}.post-container a{color:#337ab7}.post-container a:focus,.post-container a:hover{color:#0085a1}.post-heading h1{margin-top:20px}.post-container h1,.post-container h2,.post-container h3,.post-container h4,.post-container h5,.post-container h6{line-height:1.4}.post-container h1+p,.post-container h2+p,.post-container h3+p,.post-container h4+p,.post-container h5+p,.post-container h6+p{margin-top:8px}.post-container h1+div,.post-container h2+div,.post-container h3+div,.post-container h4+div,.post-container h5+div,.post-container h6+div{margin-top:10px}.post-container h2::before{content:" ";display:block;border-bottom:1px solid #ececec;margin-top:20px;margin-bottom:20px}.post-container h4{font-size:22px;font-weight:600}.post-container h4+p{margin-top:10px}.post-container h5{font-size:20px;font-weight:600}.post-container h6{font-size:18px;font-weight:600}.post-container h5+p,.post-container h6+p{margin-top:10px}@media screen and (max-width:768px){.post-container h1{font-size:30px}.post-container h2{font-size:22px}.post-container h3{font-size:20px}.post-container h4{font-size:19px}.post-container h5,.post-container h6{font-size:18px}}.post-container ol,.post-container ul{margin-bottom:14px}@media screen and (max-width:768px){.post-container ol,.post-container ul{padding-left:30px}}@media screen and (max-width:500px){.post-container ol,.post-container ul{padding-left:20px}}.post-container ol ol,.post-container ol ul,.post-container ul ol,.post-container ul ul{margin-bottom:5px}.post-container li p{margin:0;margin-bottom:5px}.post-container li h1,.post-container li h2,.post-container li h3,.post-container li h4,.post-container li h5,.post-container li h6{line-height:2;margin-top:20px}.post-container .pager li{width:48%}.post-container .pager li.next{float:right}.post-container .pager li.previous{float:left}.post-container .pager li>a{width:100%}.post-container .pager li>a>span{color:#a3a3a3;font-weight:400;letter-spacing:.5px}.post-container .anchorjs-link{position:absolute;text-decoration:none!important}@media only screen and (max-width:767px){.navbar-default .navbar-collapse{position:absolute;right:0;border:none;background:#fff;box-shadow:0 5px 10px 2px rgba(0,0,0,.2);box-shadow:rgba(0,0,0,.117647) 0 1px 6px,rgba(0,0,0,.239216) 0 1px 4px;border-radius:2px;width:170px}#huxblog_navbar{opacity:0;transform:scaleX(0);transform-origin:top right;transition:all .2s cubic-bezier(.47,0,.4,.99) 0s;-webkit-transform:scaleX(0);-webkit-transform-origin:top right;-webkit-transition:all .2s cubic-bezier(.47,0,.4,.99) 0s}#huxblog_navbar a{font-size:13px;line-height:28px}#huxblog_navbar .navbar-collapse{height:0;transform:scaleY(0);transform-origin:top right;transition:transform .4s cubic-bezier(.32,1,.23,1) 0s;-webkit-transform:scaleY(0);-webkit-transform-origin:top right;-webkit-transition:-webkit-transform .4s cubic-bezier(.32,1,.23,1) 0s}#huxblog_navbar li{opacity:0;transition:opacity .1s cubic-bezier(.23,1,.32,1) 0s;-webkit-transition:opacity .1s cubic-bezier(.23,1,.32,1) 0s}#huxblog_navbar.in{transform:scaleX(1);-webkit-transform:scaleX(1);opacity:1;transition:all 250ms cubic-bezier(.23,1,.32,1) 0s;-webkit-transition:all 250ms cubic-bezier(.23,1,.32,1) 0s}#huxblog_navbar.in .navbar-collapse{transform:scaleY(1);-webkit-transform:scaleY(1);transition:transform .5s cubic-bezier(.23,1,.32,1);-webkit-transition:-webkit-transform .5s cubic-bezier(.23,1,.32,1)}#huxblog_navbar.in li{opacity:1;transition:opacity 450ms cubic-bezier(.23,1,.32,1) 205ms;-webkit-transition:opacity 450ms cubic-bezier(.23,1,.32,1) 205ms}}.navbar-custom{background:0 0;border:none;position:absolute;top:0;left:0;width:100%;z-index:3;font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7}.navbar-custom .navbar-brand{font-weight:800;color:#fff;height:56px;line-height:25px}.navbar-custom .navbar-brand:hover{color:rgba(255,255,255,.8)}.navbar-custom .nav li a{text-transform:uppercase;font-size:12px;line-height:20px;font-weight:800;letter-spacing:1px}.navbar-custom .nav li a:active{background:rgba(0,0,0,.12)}@media only screen and (min-width:768px){.navbar-custom{background:0 0;border-bottom:1px solid transparent}.navbar-custom body{font-size:20px}.navbar-custom .navbar-brand{color:#fff;padding:20px;line-height:20px}.navbar-custom .navbar-brand:focus,.navbar-custom .navbar-brand:hover{color:rgba(255,255,255,.8)}.navbar-custom .nav li a{color:#fff;padding:20px}.navbar-custom .nav li a:focus,.navbar-custom .nav li a:hover{color:rgba(255,255,255,.8)}.navbar-custom .nav li a:active{background:0 0}}.navbar-custom.invert .navbar-toggle:active{background-color:rgba(0,0,0,.05)}.navbar-custom.invert .navbar-toggle .icon-bar{background-color:#404040}.navbar-custom.invert .navbar-brand{color:#404040}.navbar-custom.invert .navbar-brand:focus,.navbar-custom.invert .navbar-brand:hover{color:#0085a1}.navbar-custom.invert .nav li a{color:#404040}.navbar-custom.invert .nav li a:focus,.navbar-custom.invert .nav li a:hover{color:#0085a1}@media only screen and (min-width:1170px){.navbar-custom{-webkit-transition:background-color .3s;-moz-transition:background-color .3s;transition:background-color .3s;-webkit-transform:translate3d(0,0,0);-moz-transform:translate3d(0,0,0);-ms-transform:translate3d(0,0,0);-o-transform:translate3d(0,0,0);transform:translate3d(0,0,0);-webkit-backface-visibility:hidden;backface-visibility:hidden}.navbar-custom.is-fixed{position:fixed;top:-61px;background-color:rgba(255,255,255,.9);border-bottom:1px solid #f2f2f2;-webkit-transition:-webkit-transform .3s;-moz-transition:-moz-transform .3s;transition:transform .3s}.navbar-custom.is-fixed .navbar-brand{color:#404040}.navbar-custom.is-fixed .navbar-brand:focus,.navbar-custom.is-fixed .navbar-brand:hover{color:#0085a1}.navbar-custom.is-fixed .nav li a{color:#404040}.navbar-custom.is-fixed .nav li a:focus,.navbar-custom.is-fixed .nav li a:hover{color:#0085a1}.navbar-custom.is-visible{-webkit-transform:translate3d(0,100%,0);-moz-transform:translate3d(0,100%,0);-ms-transform:translate3d(0,100%,0);-o-transform:translate3d(0,100%,0);transform:translate3d(0,100%,0)}}.intro-header{background:no-repeat center center;background-color:#a3a3a3;background-attachment:scroll;-webkit-background-size:cover;-moz-background-size:cover;background-size:cover;-o-background-size:cover;margin-bottom:0}.intro-header.style-text{background:0 0}.intro-header.style-text .page-heading,.intro-header.style-text .post-heading,.intro-header.style-text .site-heading{padding:85px 0 20px;color:#404040}.intro-header.style-text .page-heading .subheading,.intro-header.style-text .post-heading .subheading,.intro-header.style-text .site-heading .subheading{margin-bottom:15px}.intro-header.style-text .tags .tag,.intro-header.style-text .tags a{border-color:#404040;color:#404040}.intro-header.style-text .tags .tag:active,.intro-header.style-text .tags .tag:hover,.intro-header.style-text .tags a:active,.intro-header.style-text .tags a:hover{background-color:rgba(0,0,0,.05)}@media only screen and (min-width:768px){.intro-header{margin-bottom:20px}}.intro-header .page-heading,.intro-header .post-heading,.intro-header .site-heading{padding:85px 0 55px;color:#fff}@media only screen and (min-width:768px){.intro-header .page-heading,.intro-header .post-heading,.intro-header .site-heading{padding:150px 0}}.intro-header .site-heading{padding:95px 0 70px}@media only screen and (min-width:768px){.intro-header .site-heading{padding:150px 0}}.intro-header .page-heading,.intro-header .site-heading{text-align:center}.intro-header .page-heading h1,.intro-header .site-heading h1{margin-top:0;font-size:50px}.intro-header .page-heading .subheading,.intro-header .site-heading .subheading{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;font-size:18px;line-height:1.1;display:block;font-weight:300;margin:10px 0 0}@media only screen and (min-width:768px){.intro-header .page-heading h1,.intro-header .site-heading h1{font-size:80px}}.intro-header .post-heading h1{font-size:30px;margin-bottom:24px}.intro-header .post-heading .meta,.intro-header .post-heading .subheading{line-height:1.1;display:block}.intro-header .post-heading .subheading{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;font-size:17px;line-height:1.4;font-weight:400;margin:10px 0 30px;margin-top:-5px}.intro-header .post-heading .meta{font-family:Lora,'Times New Roman',serif;font-style:italic;font-weight:300;font-size:16px}.intro-header .post-heading .meta a{color:#fff}@media only screen and (min-width:768px){.intro-header .post-heading h1{font-size:55px}.intro-header .post-heading .subheading{font-size:30px}.intro-header .post-heading .meta{font-size:20px}}.intro-header .header-img-credit{position:absolute;bottom:6px;right:9px;color:#fff;opacity:.3;font-size:10px;z-index:1}.intro-header .header-img-credit a{color:#fff}@media only screen and (min-width:768px){.intro-header .header-img-credit{font-size:12px;bottom:10px;right:15px}}.post-preview>a{color:#404040}.post-preview>a:focus,.post-preview>a:hover{text-decoration:none;color:#0085a1}.post-preview>a>.post-title{font-size:21px;line-height:1.3;margin-top:30px;margin-bottom:8px}.post-preview>a>.post-subtitle{font-size:15px;line-height:1.3;margin:0;font-weight:300;margin-bottom:10px}.post-preview>.post-meta{font-family:Lora,'Times New Roman',serif;color:#a3a3a3;font-size:16px;font-style:italic;margin-top:0}.post-preview>.post-meta>a{text-decoration:none;color:#404040}.post-preview>.post-meta>a:focus,.post-preview>.post-meta>a:hover{color:#0085a1;text-decoration:underline}@media only screen and (min-width:768px){.post-preview>a>.post-title{font-size:26px;line-height:1.3;margin-bottom:10px}.post-preview>a>.post-subtitle{font-size:16px}.post-preview .post-meta{font-size:18px}}.post-content-preview{font-size:13px;font-style:italic;color:#a3a3a3}.post-content-preview:hover{color:#0085a1}@media only screen and (min-width:768px){.post-content-preview{font-size:14px}}.section-heading{font-size:36px;margin-top:60px;font-weight:700}.caption{text-align:center;font-size:14px;padding:10px;font-style:italic;margin:0;display:block;border-bottom-right-radius:5px;border-bottom-left-radius:5px}footer{font-size:20px;padding:50px 0 65px}footer .list-inline{margin:0;padding:0}footer .copyright{font-size:14px;text-align:center;margin-bottom:0}footer .copyright a{color:#337ab7}footer .copyright a:focus,footer .copyright a:hover{color:#0085a1}.btn{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;text-transform:uppercase;font-size:14px;font-weight:800;letter-spacing:1px;border-radius:0;padding:15px 25px}.btn-lg{font-size:16px;padding:25px 35px}.btn-default:focus,.btn-default:hover{background-color:#0085a1;border:1px solid #0085a1;color:#fff}.pager{margin:20px 0 0!important;padding:0!important}.pager li>a,.pager li>span{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;text-transform:uppercase;font-size:13px;font-weight:800;letter-spacing:1px;padding:10px;background-color:#fff;border-radius:0}@media only screen and (min-width:768px){.pager li>a,.pager li>span{font-size:14px;padding:15px 25px}}.pager li>a{color:#404040}.pager li>a:focus,.pager li>a:hover{color:#fff;background-color:#0085a1;border:1px solid #0085a1}.pager li>a:focus>span,.pager li>a:hover>span{color:#fff}.pager .disabled>a,.pager .disabled>a:focus,.pager .disabled>a:hover,.pager .disabled>span{color:#a3a3a3;background-color:#404040;cursor:not-allowed}::-moz-selection{color:#fff;text-shadow:none;background:#0085a1}::selection{color:#fff;text-shadow:none;background:#0085a1}img::selection{color:#fff;background:0 0}img::-moz-selection{color:#fff;background:0 0}.d-none{display:none!important}.tags{margin-bottom:-5px}.tags.tags-sup .tag,.tags.tags-sup a{padding:0 10px 0 12px}.tags .tag,.tags a{display:inline-block;border:1px solid rgba(255,255,255,.8);border-radius:999em;padding:0 10px 0 10px;color:#fff;line-height:24px;font-size:12px;text-decoration:none;margin:0 1px;margin-bottom:6px;cursor:pointer}.tags .tag>sup,.tags a>sup{margin-left:-2px;font-weight:700}.tags .tag:active,.tags .tag:hover,.tags a:active,.tags a:hover{color:#fff;border-color:#fff;background-color:rgba(255,255,255,.4);text-decoration:none}@media only screen and (min-width:768px){.tags .tag,.tags a{margin-right:5px}}#tag-heading{padding:70px 0 60px}@media only screen and (min-width:768px){#tag-heading{padding:55px 0}}#tag_cloud{margin:20px 0 15px 0}#tag_cloud .tag,#tag_cloud a{transition-property:all;transition-duration:.4s;transition-timing-function:ease;font-size:14px;border:none;line-height:28px;margin:0 2px;margin-bottom:8px;background:#f3f5f5}#tag_cloud .tag.focus,#tag_cloud .tag:active,#tag_cloud .tag:hover,#tag_cloud a.focus,#tag_cloud a:active,#tag_cloud a:hover{background-color:#0085a1!important}#tag_cloud .tag.focus,#tag_cloud a.focus{box-shadow:rgba(0,0,0,.117647) 0 1px 6px,rgba(0,0,0,.239216) 0 1px 4px}#tag_cloud .tag.tag-button--all,#tag_cloud a.tag-button--all{font-weight:700;color:#0085a1!important}#tag_cloud .tag.tag-button--all.focus,#tag_cloud .tag.tag-button--all:active,#tag_cloud .tag.tag-button--all:hover,#tag_cloud a.tag-button--all.focus,#tag_cloud a.tag-button--all:active,#tag_cloud a.tag-button--all:hover{background-color:#e4e4e4!important}@media only screen and (min-width:768px){#tag_cloud{margin-bottom:25px}}.tag-comments{font-size:12px}@media only screen and (min-width:768px){.tag-comments{font-size:14px}}.t:first-child{margin-top:0}.listing-seperator{color:#0085a1;font-size:21px!important}.listing-seperator::before{margin-right:5px}@media only screen and (min-width:768px){.listing-seperator{font-size:20px!important;line-height:2!important}}.mini-post-list{margin:20px 0 15px 0}.mini-post-list .tag-text{font-weight:200;font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7}.mini-post-list .post-preview{position:relative}.mini-post-list .post-preview>a .post-title{font-size:16px;font-weight:500;margin-top:20px}.mini-post-list .post-preview>a .post-subtitle{font-size:13px}.mini-post-list .post-preview>.post-meta{position:absolute;right:5px;bottom:0;margin:0;font-size:12px;line-height:12px}@media only screen and (min-width:768px){.mini-post-list .post-preview{margin-left:20px}.mini-post-list .post-preview>a>.post-title{font-size:18px;line-height:1.3}.mini-post-list .post-preview>a>.post-subtitle{font-size:14px}.mini-post-list .post-preview .post-meta{font-size:18px}}.post-container img{display:block;max-width:100%;height:auto;margin:1.5em auto 1.6em auto}.navbar-default .navbar-toggle:focus,.navbar-default .navbar-toggle:hover{background-color:inherit}.navbar-default .navbar-toggle:active{background-color:rgba(255,255,255,.25)}.navbar-default .navbar-toggle{border-color:transparent;padding:19px 16px;margin-top:2px;margin-right:2px;margin-bottom:2px;border-radius:50%}.navbar-default .navbar-toggle .icon-bar{width:18px;border-radius:0;background-color:#fff}.navbar-default .navbar-toggle .icon-bar+.icon-bar{margin-top:3px}.page-fullscreen .intro-header{position:fixed;left:0;top:0;width:100%;height:100%}.page-fullscreen #tag-heading{position:fixed;left:0;top:0;padding-bottom:150px;width:100%;height:100%;display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-pack:center;-webkit-box-align:center;display:-webkit-flex;-webkit-align-items:center;-webkit-justify-content:center;-webkit-flex-direction:column;display:flex;align-items:center;justify-content:center;flex-direction:column}.page-fullscreen footer{position:absolute;width:100%;bottom:0;padding-bottom:20px;opacity:.6;color:#fff}.page-fullscreen footer .copyright{color:#fff}.page-fullscreen footer .copyright a{color:#fff}.page-fullscreen footer .copyright a:hover{color:#ddd}.MathJax_SVG_Display{overflow:auto;-webkit-overflow-scrolling:touch}.no-scroll{overflow-y:hidden}.katex-display{overflow:auto hidden}div.highlighter-rouge{position:relative}div.highlighter-rouge>.button{position:absolute;top:8px;right:8px;height:34px;width:34px;border-radius:20%;display:flex;align-items:center}div.highlighter-rouge>.button>svg{margin:auto}div.highlighter-rouge>.before{border:1px solid #87ceeb}div.highlighter-rouge>.after{border:1px solid green}@media print{div.highlighter-rouge>.button{display:none}header div.tags{display:none}blockquote{border-right:none;border-top:none;border-bottom:none}code{padding:2px 4px!important;font-size:90%!important;color:#c7254e!important;background-color:#f9f2f4!important;border-radius:4px!important}article div.row ul.pager{display:none}summary::before{display:block!important}p{margin:5px 0!important}.post-container h1,.post-container h2,.post-container h3,.post-container h4,.post-container h5,.post-container h6{margin-top:10px!important;margin-bottom:10px!important}.intro-header .post-heading h1{font-size:30px;margin-bottom:24px}.intro-header .post-heading .meta,.intro-header .post-heading .subheading{line-height:1.1;display:block}.intro-header .post-heading .subheading{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif;line-height:1.7;font-size:17px;line-height:1.4;font-weight:400;margin:10px 0 30px;margin-top:-5px}.intro-header .post-heading .meta{font-family:Lora,'Times New Roman',serif;font-style:italic;font-weight:300;font-size:16px}.intro-header .post-heading .meta a{color:#fff}.intro-header .page-heading,.intro-header .site-heading{text-align:center}.intro-header .page-heading h1,.intro-header .site-heading h1{margin-top:0!important;font-size:50px!important}.intro-header .page-heading .subheading,.intro-header .site-heading .subheading{font-family:-apple-system,BlinkMacSystemFont,"Helvetica Neue",Arial,"PingFang SC","Hiragino Sans GB",STHeiti,"Microsoft YaHei","Microsoft JhengHei","Source Han Sans SC","Noto Sans CJK SC","Source Han Sans CN","Noto Sans SC","Source Han Sans TC","Noto Sans CJK TC","WenQuanYi Micro Hei",SimSun,sans-serif!important;line-height:1.7!important;font-size:18px!important;line-height:1.1!important;display:block!important;font-weight:300!important;margin:10px 0 0!important}article .note>.admonition-title:before,article .note>summary:before{background-color:#448aff!important;-webkit-mask-image:var(--md-admonition-icon--note);mask-image:var(--md-admonition-icon--note)}article .note>.admonition-title:after,article .note>summary:after{color:#448aff!important}article .admonition.abstract,article details.abstract{border-color:#00b0ff!important}article .admonition.abstract:focus-within,article details.abstract:focus-within{box-shadow:0 0 0 .2rem #00b0ff1a!important}article .abstract>.admonition-title,article .abstract>summary{background-color:#00b0ff1a!important}article .abstract>.admonition-title:before,article .abstract>summary:before{background-color:#00b0ff!important;-webkit-mask-image:var(--md-admonition-icon--abstract);mask-image:var(--md-admonition-icon--abstract)}article .abstract>.admonition-title:after,article .abstract>summary:after{color:#00b0ff!important}article .admonition.info,article details.info{border-color:#00b8d4!important}article .admonition.info:focus-within,article details.info:focus-within{box-shadow:0 0 0 .2rem #00b8d41a!important}article .info>.admonition-title,article .info>summary{background-color:#00b8d41a!important}article .info>.admonition-title:before,article .info>summary:before{background-color:#00b8d4!important;-webkit-mask-image:var(--md-admonition-icon--info);mask-image:var(--md-admonition-icon--info)}article .info>.admonition-title:after,article .info>summary:after{color:#00b8d4!important}article .admonition.tip,article details.tip{border-color:#00bfa5!important}article .admonition.tip:focus-within,article details.tip:focus-within{box-shadow:0 0 0 .2rem #00bfa51a!important}article .tip>.admonition-title,article .tip>summary{background-color:#00bfa51a!important}article .tip>.admonition-title:before,article .tip>summary:before{background-color:#00bfa5!important;-webkit-mask-image:var(--md-admonition-icon--tip);mask-image:var(--md-admonition-icon--tip)}article .tip>.admonition-title:after,article .tip>summary:after{color:#00bfa5!important}article .admonition.success,article details.success{border-color:#00c853!important}article .admonition.success:focus-within,article details.success:focus-within{box-shadow:0 0 0 .2rem #00c8531a!important}article .success>.admonition-title,article .success>summary{background-color:#00c8531a!important}article .success>.admonition-title:before,article .success>summary:before{background-color:#00c853!important;-webkit-mask-image:var(--md-admonition-icon--success);mask-image:var(--md-admonition-icon--success)}article .success>.admonition-title:after,article .success>summary:after{color:#00c853!important}article .admonition.question,article details.question{border-color:#64dd17!important}article .admonition.question:focus-within,article details.question:focus-within{box-shadow:0 0 0 .2rem #64dd171a!important}article .question>.admonition-title,article .question>summary{background-color:#64dd171a!important}article .question>.admonition-title:before,article .question>summary:before{background-color:#64dd17!important;-webkit-mask-image:var(--md-admonition-icon--question);mask-image:var(--md-admonition-icon--question)}article .question>.admonition-title:after,article .question>summary:after{color:#64dd17!important}article .admonition.warning,article details.warning{border-color:#ff9100!important}article .admonition.warning:focus-within,article details.warning:focus-within{box-shadow:0 0 0 .2rem #ff91001a!important}article .warning>.admonition-title,article .warning>summary{background-color:#ff91001a!important}article .warning>.admonition-title:before,article .warning>summary:before{background-color:#ff9100!important;-webkit-mask-image:var(--md-admonition-icon--warning);mask-image:var(--md-admonition-icon--warning)}article .warning>.admonition-title:after,article .warning>summary:after{color:#ff9100!important}article .admonition.failure,article details.failure{border-color:#ff5252!important}article .admonition.failure:focus-within,article details.failure:focus-within{box-shadow:0 0 0 .2rem #ff52521a!important}article .failure>.admonition-title,article .failure>summary{background-color:#ff52521a!important}article .failure>.admonition-title:before,article .failure>summary:before{background-color:#ff5252!important;-webkit-mask-image:var(--md-admonition-icon--failure);mask-image:var(--md-admonition-icon--failure)}article .failure>.admonition-title:after,article .failure>summary:after{color:#ff5252!important}article .admonition.danger,article details.danger{border-color:#ff1744!important}article .admonition.danger:focus-within,article details.danger:focus-within{box-shadow:0 0 0 .2rem #ff17441a!important}article .danger>.admonition-title,article .danger>summary{background-color:#ff17441a!important}article .danger>.admonition-title:before,article .danger>summary:before{background-color:#ff1744!important;-webkit-mask-image:var(--md-admonition-icon--danger);mask-image:var(--md-admonition-icon--danger)}article .danger>.admonition-title:after,article .danger>summary:after{color:#ff1744!important}article .admonition.bug,article details.bug{border-color:#f50057!important}article .admonition.bug:focus-within,article details.bug:focus-within{box-shadow:0 0 0 .2rem #f500571a!important}article .bug>.admonition-title,article .bug>summary{background-color:#f500571a!important}article .bug>.admonition-title:before,article .bug>summary:before{background-color:#f50057!important;-webkit-mask-image:var(--md-admonition-icon--bug);mask-image:var(--md-admonition-icon--bug)}article .bug>.admonition-title:after,article .bug>summary:after{color:#f50057!important}article .admonition.example,article details.example{border-color:#7c4dff!important}article .admonition.example:focus-within,article details.example:focus-within{box-shadow:0 0 0 .2rem #7c4dff1a!important}article .example>.admonition-title,article .example>summary{background-color:#7c4dff1a!important}article .example>.admonition-title:before,article .example>summary:before{background-color:#7c4dff!important;-webkit-mask-image:var(--md-admonition-icon--example);mask-image:var(--md-admonition-icon--example)}article .example>.admonition-title:after,article .example>summary:after{color:#7c4dff!important}article .admonition.quote,article details.quote{border-color:#9e9e9e!important}article .admonition.quote:focus-within,article details.quote:focus-within{box-shadow:0 0 0 .2rem #9e9e9e1a!important}article .quote>.admonition-title,article .quote>summary{background-color:#9e9e9e1a!important}article .quote>.admonition-title:before,article .quote>summary:before{background-color:#9e9e9e!important;-webkit-mask-image:var(--md-admonition-icon--quote);mask-image:var(--md-admonition-icon--quote)}article .quote>.admonition-title:after,article .quote>summary:after{color:#9e9e9e!important}article .admonition-title:before,article summary:before{background-color:#448aff;content:"";height:1rem;-webkit-mask-image:var(--md-admonition-icon--note);mask-image:var(--md-admonition-icon--note);-webkit-mask-position:center;mask-position:center;-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat;-webkit-mask-size:contain;mask-size:contain;position:absolute;top:.625em;width:1rem;left:.6rem}article summary{text-indent:2rem}div.post-heading h1{font-size:55px!important}}