@font-face {
  font-family: ant_serif;
  src: url("/assets/fonts/ant-serif.woff2") format("woff2");
  font-display: swap;
  font-style: normal;
  font-weight: 400;
}

@font-face {
  font-family: ant_serif;
  src: url("/assets/fonts/ant-serif-semibold.woff2") format("woff2");
  font-display: swap;
  font-style: normal;
  font-weight: 600;
}

@font-face {
  font-family: geist_mono;
  src: url("/assets/fonts/geist-mono.woff2") format("woff2");
  font-display: swap;
  font-weight: 100 900;
}

@font-face {
  font-family: ant_sans;
  src: url("/assets/fonts/ant-sans.woff2") format("woff2");
  font-display: swap;
  font-style: normal;
  font-weight: 400;
}

html {
  scrollbar-gutter: stable;
}

.session-pending #account-actions {
  visibility: hidden;
}

body {
  line-height: 1.4;
  font-size: 16px;
  font-family: ant_serif, Georgia, serif;
  padding: 0 10px;
  margin: 50px auto;
  max-width: 650px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: ant_sans, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

h1 {
  font-size: 1.5em;
  margin-block: 0.83em;
}

.brand-heading {
  display: flex;
  align-items: center;
}

.brand-link {
  display: flex;
  align-items: center;
  gap: 0.45em;
}

.brand-heading img {
  display: block;
  pointer-events: none;
  user-select: none;
  -webkit-user-drag: none;
}

#maincontent {
  max-width: 42em;
  margin: 70px auto 15px;
}

a:link,
a:visited {
  color: #0000ee;
}

.brand-link,
.brand-link:link,
.brand-link:visited,
.brand-link:hover,
.brand-link:active,
.home-link,
.home-link:link,
.home-link:visited,
.home-link:hover,
.home-link:active {
  color: inherit;
  text-decoration: none;
}

pre {
  overflow-x: auto;
  padding: 12px;
  background: #f5f5f5;
}

code {
  font-family: geist_mono, ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.9em;
  padding: 0.08em 0.3em;
  background: #f5f5f5;
  border-radius: 3px;
}

pre code {
  padding: 0;
  background: transparent;
  border-radius: 0;
}

.tok-keyword,
.tok-command {
  color: #285d9b;
}

.tok-string {
  color: #397493;
}

.tok-property,
.tok-type {
  color: #456b91;
}

.tok-number,
.tok-literal {
  color: #6572a4;
}

.tok-variable {
  color: #536f89;
}

.symbol-list dt {
  margin-top: 1em;
}

.symbol-list dd {
  margin-left: 0;
}

.site-footer {
  margin: 60px auto 30px;
  max-width: 650px;
  padding: 18px 10px 0;
}