@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: var(--wlt-font-display);
  text-rendering: optimizelegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  font-weight: 400;
  font-size: 16px;
  word-spacing: 1px;
  color: var(--wlt-color-text);
  margin: 0;
  display: flex;
  flex-direction: column;
  min-height: 100vh;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: var(--wlt-font-ui);
  font-weight: 400;
  color: var(--wlt-color-text-strong);
}
a {
  color: var(--wlt-color-text);
  text-decoration: none;
  transition: color 0.2s ease, border-color 0.2s ease;
}
p.post-info,
.article-tag-list {
  font-family: var(--wlt-font-ui);
  font-size: 13px;
  color: var(--wlt-color-text-muted);
  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: var(--wlt-color-text-strong);
  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 var(--wlt-color-line-subtle);
  border-bottom: 1px solid var(--wlt-color-line-subtle);
}
header .site-nav-link {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 14px 14px 12px;
  white-space: nowrap;
}
header button.site-nav-link {
  width: 100%;
  border: 0;
  background: transparent;
  cursor: pointer;
  font: inherit;
  text-align: left;
}
header .site-nav-name {
  display: inline-block;
  font-family: var(--wlt-font-ui);
  font-size: 13px;
  letter-spacing: 1.5px;
  text-transform: uppercase;
  color: var(--wlt-color-text-strong);
}
header .site-nav-meta {
  display: inline-block;
  margin-top: 0;
  font-size: 13px;
  color: var(--wlt-color-text-muted);
  letter-spacing: 0;
}
header .site-nav-item:hover {
  border-top-color: var(--wlt-color-brand-mark);
  border-bottom-color: var(--wlt-color-brand-mark);
}
header .site-nav-item.is-disabled:hover {
  border-top-color: var(--wlt-color-line-subtle);
  border-bottom-color: var(--wlt-color-line-subtle);
}
header .site-nav-item.is-disabled .site-nav-link {
  cursor: default;
}
header .site-nav-item.is-disabled .site-nav-name {
  color: var(--wlt-color-text-muted);
}
header .site-nav-item.is-disabled .site-nav-meta {
  color: var(--wlt-color-text-decorative);
}
#main {
  max-width: 750px;
  margin: 50px auto;
  padding: 0 30px 50px;
  position: relative;
}
#main .home-copy {
  border-top: 1px solid var(--wlt-color-line-subtle);
  padding-top: 30px;
  color: var(--wlt-color-text);
  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: var(--wlt-color-action);
  border-bottom: 2px solid var(--wlt-color-action);
}
#main .home-copy a:hover {
  border-bottom-color: var(--wlt-color-action);
}
#main .home-copy .home-post-title a {
  color: var(--wlt-color-text-strong);
  border-bottom: none;
}
#main .home-copy .home-post-title a:hover {
  color: var(--wlt-color-text-strong);
  border-bottom: none;
}
#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 var(--wlt-color-brand-mark);
  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: var(--wlt-color-text-strong);
  font-weight: 600;
}
#main .home-copy code {
  font-family: var(--wlt-font-mono);
  font-size: 13px;
  background-color: var(--wlt-color-surface-inset);
  padding: 3px 10px;
  margin: 0 5px;
  border-radius: var(--wlt-radius-compact);
}
#main .home-copy pre {
  font-family: var(--wlt-font-mono);
  font-size: 13px;
  overflow-x: auto;
  text-align: left;
  padding: 15px 25px;
  background-color: var(--wlt-color-surface-inset);
  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 var(--wlt-color-line-subtle);
  border-radius: var(--wlt-radius-feature);
  background: var(--wlt-color-surface);
  color: var(--wlt-color-text);
}
#main .login-panel-head {
  margin-bottom: 16px;
}
#main .login-panel-eyebrow {
  margin: 0 0 8px;
  color: var(--wlt-color-text-muted);
  font-size: 12px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}
#main .login-panel h2 {
  margin: 0;
  font-size: 28px;
  line-height: 1.2;
  color: var(--wlt-color-text-strong);
}
#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 var(--wlt-color-line-subtle);
}
#main .login-panel-row dt {
  color: var(--wlt-color-text-muted);
  font-size: 14px;
}
#main .login-panel-row dd {
  margin: 0;
  color: var(--wlt-color-text-strong);
  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 var(--wlt-color-border-control);
  border-radius: var(--wlt-radius-pill);
  background: var(--wlt-color-surface);
  color: var(--wlt-color-text-strong);
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 42px;
  padding: 0 18px;
  font: inherit;
  text-decoration: none;
  transition: background-color 0.16s ease, border-color 0.16s ease;
}
#main .login-panel-action:hover {
  background: var(--wlt-color-surface-inset);
}
#main .login-panel-action.is-primary {
  border-color: var(--wlt-color-action);
  background: var(--wlt-color-action);
  color: var(--wlt-paper-0);
}
#main .login-panel-action.is-primary:hover {
  border-color: var(--wlt-color-action-hover);
  background: var(--wlt-color-action-hover);
  color: var(--wlt-paper-0);
}
#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 var(--wlt-color-line-subtle);
  border-radius: var(--wlt-radius-feature);
  background: var(--wlt-color-surface);
  padding: 24px 24px 22px;
}
#main .edge-card h2 {
  margin: 0 0 12px;
  color: var(--wlt-color-text-strong);
  font-size: 22px;
  line-height: 1.3;
}
#main .edge-card p {
  margin: 0;
  color: var(--wlt-color-text);
  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: var(--wlt-color-text-muted);
  font-size: 13px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
#main .edge-input {
  width: 100%;
  min-height: 46px;
  padding: 0 14px;
  border: 1px solid var(--wlt-color-border-control);
  border-radius: var(--wlt-radius-control);
  background: var(--wlt-color-surface-raised);
  color: var(--wlt-color-text-strong);
  font: inherit;
}
#main .edge-input:focus {
  border-color: var(--wlt-color-action);
}
#main .edge-feedback {
  margin: 16px 0 0;
  padding: 12px 14px;
  border-radius: var(--wlt-radius-panel);
  background: var(--wlt-color-surface-inset);
  color: var(--wlt-color-text);
  line-height: 1.7;
}
#main .edge-feedback.is-error {
  background: var(--wlt-color-danger-surface);
  color: var(--wlt-color-danger);
}
#main .edge-model-list,
#main .edge-contract-list {
  margin: 18px 0 0;
  padding-left: 18px;
  color: var(--wlt-color-text);
}
#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: var(--wlt-font-ui);
  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: var(--wlt-color-action);
}
#page-nav .page-number {
  margin: 0 8px;
}
#page-nav .page-number:hover,
#page-nav .extend:hover {
  color: var(--wlt-color-action);
}
#main > ul.archive li.archive-item {
  position: relative;
  padding: 30px 0 30px;
  border-bottom: solid 1px var(--wlt-color-line-subtle);
  display: flex;
  align-items: center;
}
#main > ul.archive li.archive-item h3 {
  position: absolute;
  left: 0;
  top: 50%;
  transform: translateY(-50%);
  color: var(--wlt-color-text-muted);
  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: var(--wlt-color-text);
}
#main > ul.archive li.archive-item div.info a:hover {
  color: var(--wlt-color-action);
}
#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: var(--wlt-radius-compact);
}
#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 var(--wlt-color-line-subtle);
}
#main article.post h3.date {
  font-family: var(--wlt-font-ui);
  font-size: 13px;
  color: var(--wlt-color-text-muted);
  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: var(--wlt-color-action);
  border-bottom: 2px solid var(--wlt-color-action);
}
#main article.post a:hover {
  border-bottom-color: var(--wlt-color-action);
}
#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 var(--wlt-color-brand-mark);
  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: var(--wlt-color-line-subtle);
  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: var(--wlt-color-text-strong);
}
#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: var(--wlt-color-syntax-muted);
  border-top-left-radius: var(--wlt-radius-compact);
  border-bottom-left-radius: var(--wlt-radius-compact);
}
#main article.post img {
  display: block;
  max-width: 100%;
}
#main article.post .gutter pre {
  color: var(--wlt-color-syntax-muted);
}
#main article.post pre {
  color: var(--wlt-color-syntax-base);
}
#main article.post pre .function .keyword,
#main article.post pre .constant {
  color: var(--wlt-color-syntax-function);
}
#main article.post pre .keyword,
#main article.post pre .attribute {
  color: var(--wlt-color-syntax-keyword);
}
#main article.post pre .number,
#main article.post pre .literal {
  color: var(--wlt-color-syntax-literal);
}
#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: var(--wlt-color-syntax-function);
}
#main article.post pre .class .title {
  color: var(--wlt-color-text-strong);
}
#main article.post pre .symbol,
#main article.post pre .symbol .string,
#main article.post pre .value,
#main article.post pre .regexp {
  color: var(--wlt-color-syntax-symbol);
}
#main article.post pre .title {
  color: var(--wlt-color-syntax-keyword);
}
#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: var(--wlt-color-syntax-symbol);
}
#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: var(--wlt-color-syntax-muted);
}
#main article.post code {
  font-family: var(--wlt-font-mono);
  font-size: 13px;
  background-color: var(--wlt-color-surface-inset);
  padding: 3px 10px;
  margin: 0 5px;
  border-radius: var(--wlt-radius-compact);
}
#main article.post pre {
  font-family: var(--wlt-font-mono);
  font-size: 13px;
  overflow-x: auto;
  text-align: left;
  padding: 15px 25px;
  background-color: var(--wlt-color-surface-inset);
  line-height: 1.5em;
}
#main article.post .code pre {
  border-top-right-radius: var(--wlt-radius-compact);
  border-bottom-right-radius: var(--wlt-radius-compact);
}
#main article.post .gutter pre {
  padding: 15px 0 15px 15px;
  color: var(--wlt-color-syntax-muted);
  border-top-left-radius: var(--wlt-radius-compact);
  border-bottom-left-radius: var(--wlt-radius-compact);
}
#main article.post blockquote {
  margin: 2em 0;
  padding-left: 30px;
  border-left: 5px solid var(--wlt-color-line);
}
#main article.post blockquote p {
  font-size: 17px;
  font-style: italic;
  line-height: 1.8em;
  color: var(--wlt-color-text-muted);
}
#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: var(--wlt-color-action);
  border-bottom: 2px solid var(--wlt-color-action);
}
footer a:hover {
  border-bottom-color: var(--wlt-color-brand-mark);
}
footer .session-bar {
  text-align: center;
  margin: 0 0 15px;
  padding-top: 12px;
  border-top: 1px solid var(--wlt-color-line-subtle);
  font-size: 12px;
  color: var(--wlt-color-text-muted);
  letter-spacing: 0.5px;
}
footer .session-bar #session-user {
  margin-right: 6px;
}
footer .session-bar #session-logout {
  color: var(--wlt-color-text-muted);
  border-bottom: none;
  margin-left: 4px;
  min-height: 42px;
  cursor: pointer;
  transition: color 0.2s ease;
}
footer .session-bar #session-logout:hover {
  color: var(--wlt-color-action);
}
@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;
  }
}