@font-face {
  font-family: "Montserrat";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/vendor/fonts/montserrat-latin.woff2") format("woff2");
}
@font-face {
  font-family: "Montserrat";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("/vendor/fonts/montserrat-latin.woff2") format("woff2");
}
@font-face {
  font-family: "Roboto";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/vendor/fonts/roboto-latin-regular.woff2") format("woff2");
}
@font-face {
  font-family: "Roboto";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("/vendor/fonts/roboto-latin-italic.woff2") format("woff2");
}
@font-face {
  font-family: "Roboto Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/vendor/fonts/roboto-mono-latin-regular.woff2") format("woff2");
}
body {
  font-family: "Roboto", "Noto Serif CJK SC", "Source Han Serif SC", "Songti SC", Georgia, serif;
  text-rendering: optimizelegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  font-weight: 400;
  font-size: 16px;
  word-spacing: 1px;
  color: #666;
  margin: 0;
  display: flex;
  flex-direction: column;
  min-height: 100vh;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: "Montserrat", "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;
  font-weight: 400;
  color: #444;
}
a {
  color: #666;
  text-decoration: none;
  transition: color 0.2s ease, border-color 0.2s ease;
}
p.post-info,
.article-tag-list {
  font-family: "Montserrat", "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;
  font-size: 13px;
  color: #999;
  letter-spacing: 1px;
}
p.post-info .post-info-item,
.article-tag-list .post-info-item {
  margin-right: 20px;
}
p.post-info span.author:before,
.article-tag-list span.author:before {
  content: "✍";
}
p.post-info a.comment-count:before,
.article-tag-list a.comment-count:before {
  content: "💬";
}
p.post-info span.view-count:before,
.article-tag-list span.view-count:before {
  content: "👀";
}
#main ul.article-tag-list {
  display: flex;
  justify-content: flex-start;
  list-style-type: none;
  flex-wrap: wrap;
  padding-inline: 0;
  padding: 0 !important;
}
#main ul.article-tag-list .article-tag-list-item {
  margin-right: 13px;
}
#main ul.article-tag-list .article-tag-list-item::before {
  position: relative !important;
  content: "📁";
}
#main ul.article-tag-list .article-tag-list-item:hover::before {
  content: "📂";
}
header {
  margin: 56px auto 36px;
  text-align: center;
}
header .site-title {
  letter-spacing: 2px;
  margin-bottom: 24px;
}
header .site-title a {
  font-size: 34px;
  line-height: 1.12;
  font-weight: 600;
  color: #303030;
  white-space: nowrap;
}
header .site-subtitle {
  letter-spacing: 3px;
  font-size: 13px;
  margin-bottom: 20px;
}
header .site-nav {
  display: flex;
  flex-wrap: nowrap;
  justify-content: center;
  gap: 12px;
  margin: 0 auto;
  max-width: 100%;
  overflow-x: auto;
  padding-bottom: 6px;
  text-align: left;
  scrollbar-width: thin;
}
header .site-nav-item {
  flex: 0 0 auto;
  border-top: 1px solid #e7e7e7;
  border-bottom: 1px solid #e7e7e7;
}
header .site-nav-link {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 14px 14px 12px;
  white-space: nowrap;
}
header .site-nav-name {
  display: inline-block;
  font-family: "Montserrat", "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;
  font-size: 13px;
  letter-spacing: 1.5px;
  text-transform: uppercase;
  color: #303030;
}
header .site-nav-meta {
  display: inline-block;
  margin-top: 0;
  font-size: 13px;
  color: #8d8d8d;
  letter-spacing: 0;
}
header .site-nav-item:hover {
  border-top-color: #f33;
  border-bottom-color: #f33;
}
header .site-nav-item.is-disabled:hover {
  border-top-color: #e7e7e7;
  border-bottom-color: #e7e7e7;
}
header .site-nav-item.is-disabled .site-nav-link {
  cursor: default;
}
header .site-nav-item.is-disabled .site-nav-name {
  color: #999;
}
header .site-nav-item.is-disabled .site-nav-meta {
  color: #b1b1b1;
}
#main {
  max-width: 750px;
  margin: 50px auto;
  padding: 0 30px 50px;
  position: relative;
}
#main .home-copy {
  border-top: 1px solid #e7e7e7;
  padding-top: 30px;
  color: #555;
  text-align: left;
  line-height: 1.9;
  font-size: 17px;
}
#main .home-copy p,
#main .home-copy ul,
#main .home-copy ol {
  margin: 0 0 1.5em;
}
#main .home-copy a {
  color: #f33;
  border-bottom: 2px solid transparent;
}
#main .home-copy a:hover {
  border-bottom-color: #f33;
}
#main .home-copy h2 {
  position: relative;
  font-size: 24px;
  line-height: 1.35;
  margin: 50px 0 24px;
}
#main .home-copy h2:before {
  content: '';
  border-left: 5px solid #f33;
  position: absolute;
  left: -15px;
  height: 75%;
  top: 12%;
}
#main .home-copy h3 {
  margin: 30px 0 16px;
  line-height: 1.45;
}
#main .home-copy strong {
  color: #333;
  font-weight: 600;
}
#main .home-copy code {
  font-family: "Roboto Mono", "SFMono-Regular", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 13px;
  background-color: #f6f6f6;
  padding: 3px 10px;
  margin: 0 5px;
  border-radius: 2px;
}
#main .home-copy pre {
  font-family: "Roboto Mono", "SFMono-Regular", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 13px;
  overflow-x: auto;
  text-align: left;
  padding: 15px 25px;
  background-color: #f6f6f6;
  line-height: 1.5em;
}
#main .home-copy ul {
  padding-left: 18px;
}
#main .home-copy li {
  margin-bottom: 10px;
}
#main .login-panel {
  margin-top: 42px;
  padding: 28px 30px;
  border: 1px solid #e7e7e7;
  border-radius: 18px;
  background: linear-gradient(180deg, #fff 0%, #fafafa 100%);
  box-shadow: 0 20px 45px rgba(15,23,42,0.06);
  color: #444;
}
#main .login-panel-head {
  margin-bottom: 16px;
}
#main .login-panel-eyebrow {
  margin: 0 0 8px;
  color: #888;
  font-size: 12px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}
#main .login-panel h2 {
  margin: 0;
  font-size: 28px;
  line-height: 1.2;
  color: #222;
}
#main .login-panel-status {
  margin: 0;
  font-size: 16px;
  line-height: 1.8;
}
#main .login-panel-details {
  margin: 18px 0 0;
}
#main .login-panel-row {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 18px;
  padding: 12px 0;
  border-top: 1px solid #ececec;
}
#main .login-panel-row dt {
  color: #888;
  font-size: 14px;
}
#main .login-panel-row dd {
  margin: 0;
  color: #1f1f1f;
  font-size: 15px;
  font-weight: 600;
  text-align: right;
}
#main .login-panel-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-top: 22px;
}
#main .login-panel-action {
  appearance: none;
  border: 1px solid #d5d5d5;
  border-radius: 999px;
  background: #fff;
  color: #333;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 42px;
  padding: 0 18px;
  font: inherit;
  text-decoration: none;
  transition: transform 0.18s ease, border-color 0.18s ease, box-shadow 0.18s ease;
}
#main .login-panel-action:hover {
  border-color: #f33;
  box-shadow: 0 12px 24px rgba(15,23,42,0.08);
  transform: translateY(-1px);
}
#main .login-panel-action.is-primary {
  border-color: #f33;
  background: #f33;
  color: #fff;
}
#main .login-panel-action.is-primary:hover {
  color: #fff;
}
#main .login-panel [hidden] {
  display: none !important;
}
#main .edge-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: 20px;
  margin-top: 26px;
}
#main .edge-card {
  border: 1px solid #e7e7e7;
  border-radius: 18px;
  background: #fff;
  padding: 24px 24px 22px;
  box-shadow: 0 18px 36px rgba(15,23,42,0.05);
}
#main .edge-card h2 {
  margin: 0 0 12px;
  color: #222;
  font-size: 22px;
  line-height: 1.3;
}
#main .edge-card p {
  margin: 0;
  color: #555;
  line-height: 1.8;
}
#main .edge-auth-form {
  display: grid;
  gap: 14px;
  margin-top: 18px;
}
#main .edge-field {
  display: grid;
  gap: 8px;
}
#main .edge-field-label {
  color: #777;
  font-size: 13px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
#main .edge-input {
  width: 100%;
  min-height: 46px;
  padding: 0 14px;
  border: 1px solid #d7d7d7;
  border-radius: 14px;
  background: #fff;
  color: #222;
  font: inherit;
}
#main .edge-input:focus {
  outline: none;
  border-color: #f33;
  box-shadow: 0 0 0 4px rgba(48,115,202,0.08);
}
#main .edge-feedback {
  margin: 16px 0 0;
  padding: 12px 14px;
  border-radius: 14px;
  background: #f6f6f6;
  color: #444;
  line-height: 1.7;
}
#main .edge-feedback.is-error {
  background: #fff2f0;
  color: #a33b2d;
}
#main .edge-model-list,
#main .edge-contract-list {
  margin: 18px 0 0;
  padding-left: 18px;
  color: #444;
}
#main .edge-model-list li,
#main .edge-contract-list li {
  margin-bottom: 10px;
  line-height: 1.75;
}
#main > ul.archive {
  list-style-type: none;
  padding: 0;
  padding-top: 4px;
}
#page-nav {
  width: 100%;
  font-size: 13px;
  margin: 30px 0 50px;
  font-family: "Montserrat", "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;
  display: flex;
  justify-content: center;
  align-items: center;
  position: relative;
}
#page-nav .prev {
  position: absolute;
  left: 0;
}
#page-nav .next {
  position: absolute;
  right: 0;
}
#page-nav .current {
  color: #f33;
}
#page-nav .page-number {
  margin: 0 8px;
}
#page-nav .page-number:hover,
#page-nav .extend:hover {
  color: #f33;
}
#main > ul.archive li.archive-item {
  position: relative;
  padding: 30px 0 30px;
  border-bottom: solid 1px #e6e6e6;
  display: flex;
  align-items: center;
}
#main > ul.archive li.archive-item h3 {
  position: absolute;
  left: 0;
  top: 50%;
  transform: translateY(-50%);
  color: #999;
  font-size: 13px;
}
#main > ul.archive li.archive-item div.info {
  flex-grow: 1;
  margin-left: 120px;
  display: flex;
  flex-direction: column;
  justify-content: center;
}
#main > ul.archive li.archive-item div.info a {
  color: #444;
}
#main > ul.archive li.archive-item div.info a:hover {
  color: #f33;
}
#main > ul.archive li.archive-item div.info h2 {
  font-size: 20px;
}
#main > ul.archive li.archive-item img.index-cover {
  flex-shrink: 0;
  width: 30%;
  object-fit: cover;
  margin-left: 0.5em;
  border-radius: 3px;
}
#main > ul.archive li.archive-item:first-child {
  margin-top: -30px;
}
#main h2,
#main h3 {
  letter-spacing: 1px;
  margin: 0;
  text-transform: uppercase;
}
article.post {
  position: relative;
  padding-bottom: 30px;
  margin-bottom: 30px;
  border-bottom: 1px solid #e6e6e6;
}
#main article.post h3.date {
  font-family: "Montserrat", "PingFang SC", "Hiragino Sans GB", "Noto Sans CJK SC", "Microsoft YaHei", sans-serif;
  font-size: 13px;
  color: #999;
  margin: 0 0 30px;
  letter-spacing: 1px;
}
#main article.post h1 {
  font-size: 30px;
  line-height: 38px;
  letter-spacing: 1px;
}
#main article.post h1,
#main article.post h2 {
  text-transform: uppercase;
}
#main article.post p.post-info {
  font-size: 13px;
}
#main article.post ul.article-tag-list {
  margin-bottom: 45px;
}
#main article.post img {
  width: 100%;
  object-fit: cover;
}
#main article.post {
  text-align: left;
  line-height: 1.8em;
}
#main article.post a {
  color: #f33;
  border-bottom: 2px solid transparent;
}
#main article.post a:hover {
  border-bottom-color: #f33;
}
#main article.post h2 {
  position: relative;
  font-size: 24px;
  line-height: 32px;
  margin: 60px 0 30px;
}
#main article.post h2:before {
  content: '';
  border-left: 5px solid #f33;
  position: absolute;
  left: -15px;
  height: 75%;
  top: 12%;
}
#main article.post h3 {
  line-height: 26px;
  margin: 30px 0 15px;
}
#main article.post p {
  font-size: 16px;
  line-height: 24px;
}
#main article.post ol {
  padding-left: 1.6em;
}
#main article.post hr {
  height: 0.5px;
  background-color: #e6e6e6;
  border: none;
}
#main article.post ul {
  padding-left: 15px;
  list-style-type: none;
}
#main article.post li:before {
  position: absolute;
  font-weight: 600;
  content: " · ";
  margin: 0;
  left: 0;
}
#main article.post strong {
  font-weight: 600;
  color: #444;
}
#main article.post .highlight,
#main article.post .highlight table {
  margin: 0;
  width: 100%;
}
#main article.post .highlight {
  overflow-x: auto;
}
#main article.post .highlight table,
#main article.post .highlight tr,
#main article.post .highlight td {
  padding: 0;
  border-collapse: collapse;
}
#main article.post .gutter pre {
  padding: 15px 0 15px 15px;
  color: #75715e;
  border-top-left-radius: 2px;
  border-bottom-left-radius: 2px;
}
#main article.post img {
  display: block;
  max-width: 100%;
}
#main article.post .gutter pre {
  color: #999;
}
#main article.post pre {
  color: #525252;
}
#main article.post pre .function .keyword,
#main article.post pre .constant {
  color: #0092db;
}
#main article.post pre .keyword,
#main article.post pre .attribute {
  color: #e96900;
}
#main article.post pre .number,
#main article.post pre .literal {
  color: #ae81ff;
}
#main article.post pre .tag,
#main article.post pre .tag .title,
#main article.post pre .change,
#main article.post pre .winutils,
#main article.post pre .flow,
#main article.post pre .lisp .title,
#main article.post pre .clojure .built_in,
#main article.post pre .nginx .title,
#main article.post pre .tex .special {
  color: #2973b7;
}
#main article.post pre .class .title {
  color: #fff;
}
#main article.post pre .symbol,
#main article.post pre .symbol .string,
#main article.post pre .value,
#main article.post pre .regexp {
  color: #42b983;
}
#main article.post pre .title {
  color: #a6e22e;
}
#main article.post pre .tag .value,
#main article.post pre .string,
#main article.post pre .subst,
#main article.post pre .haskell .type,
#main article.post pre .preprocessor,
#main article.post pre .ruby .class .parent,
#main article.post pre .built_in,
#main article.post pre .sql .aggregate,
#main article.post pre .django .template_tag,
#main article.post pre .django .variable,
#main article.post pre .smalltalk .class,
#main article.post pre .javadoc,
#main article.post pre .django .filter .argument,
#main article.post pre .smalltalk .localvars,
#main article.post pre .smalltalk .array,
#main article.post pre .attr_selector,
#main article.post pre .pseudo,
#main article.post pre .addition,
#main article.post pre .stream,
#main article.post pre .envvar,
#main article.post pre .apache .tag,
#main article.post pre .apache .cbracket,
#main article.post pre .tex .command,
#main article.post pre .prompt {
  color: #42b983;
}
#main article.post pre .comment,
#main article.post pre .java .annotation,
#main article.post pre .python .decorator,
#main article.post pre .template_comment,
#main article.post pre .pi,
#main article.post pre .doctype,
#main article.post pre .deletion,
#main article.post pre .shebang,
#main article.post pre .apache .sqbracket,
#main article.post pre .tex .formula {
  color: #b3b3b3;
}
#main article.post pre .coffeescript .javascript,
#main article.post pre .javascript .xml,
#main article.post pre .tex .formula,
#main article.post pre .xml .javascript,
#main article.post pre .xml .vbscript,
#main article.post pre .xml .css,
#main article.post pre .xml .cdata {
  opacity: 0.5;
}
#main article.post code {
  font-family: "Roboto Mono", "SFMono-Regular", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 13px;
  background-color: #f6f6f6;
  padding: 3px 10px;
  margin: 0 5px;
  border-radius: 2px;
}
#main article.post pre {
  font-family: "Roboto Mono", "SFMono-Regular", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 13px;
  overflow-x: auto;
  text-align: left;
  padding: 15px 25px;
  background-color: #f6f6f6;
  line-height: 1.5em;
}
#main article.post .code pre {
  border-top-right-radius: 2px;
  border-bottom-right-radius: 2px;
}
#main article.post .gutter pre {
  padding: 15px 0 15px 15px;
  color: #75715e;
  border-top-left-radius: 2px;
  border-bottom-left-radius: 2px;
}
#main article.post blockquote {
  margin: 2em 0;
  padding-left: 30px;
  border-left: 5px solid #e6e6e6;
}
#main article.post blockquote p {
  font-size: 17px;
  font-style: italic;
  line-height: 1.8em;
  color: #999;
}
#main article.post article p,
#main article.post article ul,
#main article.post article ol {
  margin: 1em 0 1.5em;
}
footer {
  flex-grow: 1;
  display: flex;
  flex-direction: column;
  justify-content: flex-end;
  font-size: 13px;
}
footer p {
  text-align: center;
  margin: 0 0 15px;
}
footer a {
  color: #f33;
  border-bottom: 2px solid transparent;
}
footer a:hover {
  border-bottom-color: #f33;
}
footer .session-bar {
  text-align: center;
  margin: 0 0 15px;
  padding-top: 12px;
  border-top: 1px solid #e7e7e7;
  font-size: 12px;
  color: #b1b1b1;
  letter-spacing: 0.5px;
}
footer .session-bar #session-user {
  margin-right: 6px;
}
footer .session-bar #session-logout {
  color: #b1b1b1;
  border-bottom: none;
  margin-left: 4px;
  cursor: pointer;
  transition: color 0.2s ease;
}
footer .session-bar #session-logout:hover {
  color: #f33;
}
@media screen and (max-width: 500px) {
  header {
    margin: 40px auto 10px;
  }
  header .site-title a {
    font-size: 28px;
    line-height: 1.16;
  }
  header .site-nav {
    gap: 8px;
    justify-content: flex-start;
  }
  header .site-nav-link {
    padding: 12px 12px 10px;
    gap: 6px;
  }
  header .site-nav-name {
    font-size: 12px;
  }
  header .site-nav-meta {
    font-size: 12px;
  }
  #main > ul > li {
    padding: 18px 0 20px;
    flex-direction: column;
  }
  #main > ul > li div.info {
    margin: 0 !important;
    margin-top: 10px !important;
    width: 100%;
  }
  #main > ul > li img {
    margin: 0;
  }
  #main > ul > li:first-child {
    margin-top: -35px;
  }
  #main h3.date {
    font-size: 11px !important;
    position: static !important;
    margin-top: 10px;
    align-self: flex-start;
  }
  #main > ul > li img.index-cover {
    width: 80% !important;
    margin: 0 !important;
    margin-top: 10px !important;
  }
  #main article.post {
    line-height: 22px;
  }
  #main article.post h1 {
    font-size: 28px;
    line-height: 34px;
  }
  #main article.post h2 {
    font-size: 22px;
    line-height: 28px;
  }
  #main article.post h3 {
    font-size: 20px;
    line-height: 25px;
  }
  #main .edge-grid {
    grid-template-columns: 1fr;
    gap: 16px;
  }
  #main .edge-card {
    padding: 20px 18px;
  }
  #main .edge-input {
    min-height: 44px;
  }
}
