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

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

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

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

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

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

figcaption {
  font-size: 14px;
}

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

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

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

/**
 * Links
 */
a {
  color: #2a7ae2;
  text-decoration: none;
}
a:visited {
  color: rgb(22.9483471074, 86.2541322314, 168.5516528926);
}
a:hover {
  color: #111;
  text-decoration: underline;
}
.social-media-list a:hover {
  text-decoration: none;
}
.social-media-list a:hover .username {
  text-decoration: underline;
}

/**
 * Blockquotes
 */
blockquote {
  color: #828282;
  border-left: 4px solid #e8e8e8;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
  font-style: italic;
}
blockquote > :last-child {
  margin-bottom: 0;
}

/**
 * Code formatting
 */
pre,
code {
  font-size: 15px;
  border: 1px solid #e8e8e8;
  border-radius: 3px;
  background-color: #eef;
}

code {
  padding: 1px 5px;
}

pre {
  padding: 8px 12px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(800px - (30px * 2));
  max-width: calc(800px - 30px * 2);
  margin-right: auto;
  margin-left: auto;
  padding-right: 30px;
  padding-left: 30px;
}
@media screen and (max-width: 800px) {
  .wrapper {
    max-width: -webkit-calc(800px - (30px));
    max-width: calc(800px - (30px));
    padding-right: 15px;
    padding-left: 15px;
  }
}

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

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

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

/**
 * Tables
 */
table {
  margin-bottom: 30px;
  width: 100%;
  text-align: left;
  color: rgb(62.9, 62.9, 62.9);
  border-collapse: collapse;
  border: 1px solid #e8e8e8;
}
table tr:nth-child(even) {
  background-color: rgb(247.3, 247.3, 247.3);
}
table th, table td {
  padding: 9.999999999px 15px;
}
table th {
  background-color: rgb(239.65, 239.65, 239.65);
  border: 1px solid rgb(221.8, 221.8, 221.8);
  border-bottom-color: rgb(201.4, 201.4, 201.4);
}
table td {
  border: 1px solid #e8e8e8;
}

/**
 * Site header
 */
.site-header {
  border-top: 5px solid rgb(193.75, 193.75, 193.75);
  border-bottom: 1px solid #e8e8e8;
  min-height: 55.95px;
  position: relative;
}

.site-title {
  font-size: 26px;
  font-weight: 300;
  line-height: 54px;
  letter-spacing: -1px;
  margin-bottom: 0;
  float: left;
}
.site-title, .site-title:visited {
  color: rgb(193.75, 193.75, 193.75);
}

.site-nav {
  float: right;
  line-height: 54px;
}
.site-nav .nav-trigger {
  display: none;
}
.site-nav .menu-icon {
  display: none;
}
.site-nav .page-link {
  color: #111;
  line-height: 1.5;
}
.site-nav .page-link:not(:last-child) {
  margin-right: 20px;
}
@media screen and (max-width: 800px) {
  .site-nav {
    position: absolute;
    top: 9px;
    right: 15px;
    background-color: #fdfdfd;
    border: 1px solid #e8e8e8;
    border-radius: 5px;
    text-align: right;
  }
  .site-nav label[for=nav-trigger] {
    display: block;
    float: right;
    width: 36px;
    height: 36px;
    z-index: 2;
    cursor: pointer;
  }
  .site-nav .menu-icon {
    display: block;
    float: right;
    width: 36px;
    height: 26px;
    line-height: 0;
    padding-top: 10px;
    text-align: center;
  }
  .site-nav .menu-icon > svg {
    fill: rgb(193.75, 193.75, 193.75);
  }
  .site-nav input ~ .trigger {
    clear: both;
    display: none;
  }
  .site-nav input:checked ~ .trigger {
    display: block;
    padding-bottom: 5px;
  }
  .site-nav .page-link {
    display: block;
    margin-left: 20px;
    padding: 5px 10px;
  }
  .site-nav .page-link:not(:last-child) {
    margin-right: 0;
  }
}

/**
 * Site footer
 */
.site-footer {
  border-top: 1px solid #e8e8e8;
  padding: 30px 0;
}

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

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

.footer-col-wrapper {
  font-size: 15px;
  color: #828282;
  margin-left: -15px;
}

.footer-col {
  float: left;
  margin-bottom: 15px;
  padding-left: 15px;
}

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

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

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

@media screen and (max-width: 800px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - (30px / 2));
    width: calc(50% - 30px / 2);
  }
  .footer-col-3 {
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - 30px / 2);
  }
}
@media screen and (max-width: 800px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - 30px / 2);
  }
}
/**
 * Page content
 */
.page-content {
  padding: 30px 0;
  flex: 1;
}

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

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

.post-list {
  margin-left: 0;
  list-style: none;
}
.post-list > li {
  margin-bottom: 30px;
}

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

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

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

.post-title {
  font-size: 42px;
  letter-spacing: -1px;
  line-height: 1;
}
@media screen and (max-width: 800px) {
  .post-title {
    font-size: 36px;
  }
}

.post-content {
  margin-bottom: 30px;
}
.post-content h2 {
  font-size: 32px;
}
@media screen and (max-width: 800px) {
  .post-content h2 {
    font-size: 28px;
  }
}
.post-content h3 {
  font-size: 26px;
}
@media screen and (max-width: 800px) {
  .post-content h3 {
    font-size: 22px;
  }
}
.post-content h4 {
  font-size: 20px;
}
@media screen and (max-width: 800px) {
  .post-content h4 {
    font-size: 18px;
  }
}

/**
 * Syntax highlighting styles
 */
.highlight {
  background: #fff;
}
.highlighter-rouge .highlight {
  background: #eef;
}
.highlight .c {
  color: #998;
  font-style: italic;
}
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2;
}
.highlight .k {
  font-weight: bold;
}
.highlight .o {
  font-weight: bold;
}
.highlight .cm {
  color: #998;
  font-style: italic;
}
.highlight .cp {
  color: #999;
  font-weight: bold;
}
.highlight .c1 {
  color: #998;
  font-style: italic;
}
.highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic;
}
.highlight .gd {
  color: #000;
  background-color: #fdd;
}
.highlight .gd .x {
  color: #000;
  background-color: #faa;
}
.highlight .ge {
  font-style: italic;
}
.highlight .gr {
  color: #a00;
}
.highlight .gh {
  color: #999;
}
.highlight .gi {
  color: #000;
  background-color: #dfd;
}
.highlight .gi .x {
  color: #000;
  background-color: #afa;
}
.highlight .go {
  color: #888;
}
.highlight .gp {
  color: #555;
}
.highlight .gs {
  font-weight: bold;
}
.highlight .gu {
  color: #aaa;
}
.highlight .gt {
  color: #a00;
}
.highlight .kc {
  font-weight: bold;
}
.highlight .kd {
  font-weight: bold;
}
.highlight .kp {
  font-weight: bold;
}
.highlight .kr {
  font-weight: bold;
}
.highlight .kt {
  color: #458;
  font-weight: bold;
}
.highlight .m {
  color: #099;
}
.highlight .s {
  color: #d14;
}
.highlight .na {
  color: #008080;
}
.highlight .nb {
  color: #0086B3;
}
.highlight .nc {
  color: #458;
  font-weight: bold;
}
.highlight .no {
  color: #008080;
}
.highlight .ni {
  color: #800080;
}
.highlight .ne {
  color: #900;
  font-weight: bold;
}
.highlight .nf {
  color: #900;
  font-weight: bold;
}
.highlight .nn {
  color: #555;
}
.highlight .nt {
  color: #000080;
}
.highlight .nv {
  color: #008080;
}
.highlight .ow {
  font-weight: bold;
}
.highlight .w {
  color: #bbb;
}
.highlight .mf {
  color: #099;
}
.highlight .mh {
  color: #099;
}
.highlight .mi {
  color: #099;
}
.highlight .mo {
  color: #099;
}
.highlight .sb {
  color: #d14;
}
.highlight .sc {
  color: #d14;
}
.highlight .sd {
  color: #d14;
}
.highlight .s2 {
  color: #d14;
}
.highlight .se {
  color: #d14;
}
.highlight .sh {
  color: #d14;
}
.highlight .si {
  color: #d14;
}
.highlight .sx {
  color: #d14;
}
.highlight .sr {
  color: #009926;
}
.highlight .s1 {
  color: #d14;
}
.highlight .ss {
  color: #990073;
}
.highlight .bp {
  color: #999;
}
.highlight .vc {
  color: #008080;
}
.highlight .vg {
  color: #008080;
}
.highlight .vi {
  color: #008080;
}
.highlight .il {
  color: #099;
}

table.trophy {
  margin-bottom: 2em;
  width: 100%;
}

table.trophy td {
  padding-right: 2ex;
  padding-bottom: 1ex;
  vertical-align: top;
}

#search_area {
  width: 200px;
  position: relative;
  margin: 0 auto;
  margin-bottom: 20px;
}

#search {
  font-size: 17px;
  font-family: inherit;
  border: 1px solid #ccc;
  color: #666;
  padding: 3px 27px 3px 27px;
  background: url(/images/magnifier.png) 7px 6px no-repeat;
  width: 100%;
  margin: 0;
}

#search:focus {
  outline: none;
}

#search_area img {
  position: absolute;
  right: -48px;
  top: 7px;
  display: block;
}

#search_area label {
  font-size: 17px;
  position: absolute;
  top: 4px;
  left: 29px;
  color: #ccc;
  cursor: text;
  padding: 0;
}

@media (max-width: 799px) {
  .trigger {
    display: none;
  }
  .menu-icon {
    display: block;
  }
}
@media (min-width: 800px) {
  .trigger {
    display: block;
  }
  .menu-icon {
    display: none;
  }
}
.asciidoc-content {
  /* Tables with subtle brand accent */
}
.asciidoc-content table {
  width: 100%;
  margin-bottom: 1rem;
  border-left: 4px solid #2a7ae2; /* Brand accent */
  border-radius: 0 4px 4px 0; /* Rounded right corners */
  border-collapse: separate;
  border-spacing: 0;
}
.asciidoc-content table th,
.asciidoc-content table td {
  padding: 0.75rem;
  border: 1px solid #e8e8e8 !important;
  vertical-align: top;
}
.asciidoc-content table th {
  font-weight: bold;
  background: #e8e8e8;
}
.asciidoc-content {
  /* Admonitions - consistent brand pattern */
}
.asciidoc-content .admonitionblock table {
  width: 100%;
  border: none !important; /* Kill table border */
  border-collapse: collapse;
  background: none; /* Kill table bg */
  margin: 0;
}
.asciidoc-content .admonitionblock {
  margin: 1.5em 0;
  padding: 0;
  border-left: 4px solid #2a7ae2; /* Brand accent */
  border-radius: 0 4px 4px 0; /* Rounded right corners */
  overflow: hidden;
  background: #f8f9fa;
}
.asciidoc-content .admonitionblock > table {
  width: 100%;
  border-collapse: collapse;
}
.asciidoc-content .admonitionblock td.content {
  padding: 1rem 0.5em;
  border: none !important; /* Kill table border */
}
.asciidoc-content .admonitionblock td.icon {
  text-align: center;
  padding: 1rem 0 1rem 1rem;
  font-size: 1.8em;
  line-height: 1;
  border: none !important; /* Kill table border */
}
.asciidoc-content .admonitionblock.note {
  border-color: #007bff;
}
.asciidoc-content .admonitionblock.note td.icon:before {
  content: "ℹ️";
  color: #007bff;
}
.asciidoc-content .admonitionblock.tip {
  border-color: #28a745;
}
.asciidoc-content .admonitionblock.tip td.icon:before {
  content: "💡";
  color: #28a745;
}
.asciidoc-content .admonitionblock.important {
  border-color: #ffc107;
}
.asciidoc-content .admonitionblock.important td.icon:before {
  content: "⚠️";
  color: #ffc107;
}
.asciidoc-content .admonitionblock.warning {
  border-color: #fd7e14;
}
.asciidoc-content .admonitionblock.warning td.icon:before {
  content: "⚠️";
  color: #fd7e14;
}
.asciidoc-content .admonitionblock.caution {
  border-color: #dc3545;
}
.asciidoc-content .admonitionblock.caution td.icon:before {
  content: "🚨";
  color: #dc3545;
}
.asciidoc-content .admonitionblock .title {
  font-weight: bold;
  font-size: 0.9em;
  text-transform: uppercase;
  margin-bottom: 0.5em;
}
.asciidoc-content {
  /* Code blocks - matching brand accent */
}
.asciidoc-content .listingblock > .content > pre,
.asciidoc-content .highlight {
  margin: 2rem 0;
  border-left: 4px solid #2a7ae2; /* Brand accent */
  background: #f4f4f4;
  border-radius: 0 4px 4px 0; /* Rounded right corners */
  padding: 1rem;
}
.asciidoc-content .listingblock pre code,
.asciidoc-content .highlight code {
  background: transparent;
}
.asciidoc-content {
  /* Text alignment roles */
}
.asciidoc-content .text-center {
  text-align: center !important;
}
.asciidoc-content .text-left {
  text-align: left !important;
}
.asciidoc-content .text-right {
  text-align: right !important;
}
.asciidoc-content {
  /* Increase spacing around ALL major blocks */
}
.asciidoc-content table,
.asciidoc-content .admonitionblock,
.asciidoc-content .listingblock,
.asciidoc-content .imageblock,
.asciidoc-content .quoteblock,
.asciidoc-content .sidebarblock {
  margin: 2rem 0; /* Top/bottom spacing */
}
.asciidoc-content {
  /* Image caption spacing */
}
.asciidoc-content .imageblock > .title {
  margin-top: 1rem; /* Space above caption */
  margin-bottom: 0.5rem; /* Space below caption */
}
.asciidoc-content .ace_editor {
  border-left: 4px solid #2a7ae2; /* Brand accent */
  border-radius: 0 4px 4px 0; /* Rounded right corners */
  margin: 1em 0;
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1); /* Subtle Minima shadow */
  font-size: 16px !important;
}
.asciidoc-content .ace_editor .ace_gutter {
  background: #f7f7f7; /* Minima sidebar gray */
  border-right: 1px solid #e8e8e8;
  color: #666;
  font-size: 16px !important;
}
.asciidoc-content .clingo-editor-container {
  position: relative;
}
.asciidoc-content .clingo-run-button {
  position: absolute;
  top: 8px;
  right: 8px;
  z-index: 10;
  width: 24px;
  height: 24px;
}
.asciidoc-content .clingo-settings-button {
  position: absolute;
  top: 8px;
  right: 35px;
  z-index: 10;
  width: 24px;
  height: 24px;
}
.asciidoc-content .button--loading::after {
  content: "";
  position: absolute;
  width: 12px;
  height: 12px;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  border: 4px solid transparent;
  border-top-color: #999;
  border-radius: 50%;
  animation: button-loading-spinner 1s ease infinite;
}
@keyframes button-loading-spinner {
  to {
    transform: translate(-50%, -50%) rotate(360deg);
  }
}
.asciidoc-content .clingo-output {
  margin-top: 12px;
  margin-bottom: 2rem;
  padding: 8px;
  border: 1px solid #ccc;
  background: #f9f9f9;
  white-space: pre-wrap;
  font-family: monospace;
  display: none;
}

.docs-container {
  position: relative;
  max-width: 800px; /* Keep Minima content width */
  margin: 0 auto;
}

.docs-content {
  min-height: 80vh; /* Sidebar height */
}

.docs-sidebar {
  position: absolute;
  right: -320px; /* Right margin */
  top: 0;
  width: 240px;
  background: transparent; /* Minima transparency */
  padding: 1.5rem 0 2rem 0; /* Minima spacing */
  border-radius: 0;
  box-shadow: none; /* No shadows - pure Minima */
  /* Minima header - simple & elegant */
}
.docs-sidebar h4 {
  color: inherit; /* Matches body text */
  margin: 0 0 0.5rem 0;
  font-size: 1rem; /* Minima scale */
  font-weight: 500; /* Minima weight */
  padding-bottom: 0.5rem;
  border-bottom: 1px solid #e8e8e8;
  text-transform: none; /* No uppercase */
  letter-spacing: normal;
}
.docs-sidebar {
  /* Minima list - clean lines */
}
.docs-sidebar ul {
  list-style: none;
  padding: 0;
  margin: 0;
}
.docs-sidebar li {
  margin: 0;
  border-radius: 0; /* Sharp Minima edges */
}
.docs-sidebar {
  /* Minima links - subtle & refined */
}
.docs-sidebar a {
  display: block;
  padding: 0.4rem 1rem; /* Minima padding */
  color: #111; /* Exact Minima text */
  text-decoration: none;
  font-size: 0.95rem; /* Minima body */
  font-weight: normal;
  border: none;
  transition: color 0.15s ease; /* Minima timing */
}
.docs-sidebar a:hover {
  color: #2a7ae2;
  background: transparent; /* No bg - Minima style */
}
.docs-sidebar {
  /* Minima active - minimal highlight */
}
.docs-sidebar a.active {
  color: #2a7ae2;
  font-weight: 600;
  border-left: 2px solid #2a7ae2; /* Right accent */
}

.clingo-settings-modal {
  position: fixed;
  left: 0;
  top: 0;
  width: 100vw;
  height: 100vh;
  background: rgba(0, 0, 0, 0.5);
  display: none;
  justify-content: center;
  align-items: center;
  z-index: 1000;
}

.clingo-settings-modal-content {
  background: #fff;
  width: 100vw;
  max-height: 80vh;
  max-width: 800px;
  min-width: 0;
  padding: 2em;
  border-radius: 0;
  display: flex;
  flex-direction: column;
  gap: 1em;
  overflow-y: auto;
}
.clingo-settings-modal-content section {
  padding: 1ex;
  background: #f9f9fc;
  border-radius: 8px;
  box-shadow: 0 1px 4px rgba(0, 0, 0, 0.04);
}
.clingo-settings-modal-content dl {
  margin: 0;
}
.clingo-settings-modal-content dt {
  font-weight: bold;
  color: #1a2a4a;
  margin-top: 1em;
  font-size: 1em;
}
.clingo-settings-modal-content dd {
  margin-left: 1.5em;
  margin-bottom: 0.5em;
  color: #333;
  font-size: 0.97em;
}
.clingo-settings-modal-content ul {
  margin: 0.3em 0 0.3em 1.2em;
  padding: 0;
  list-style: disc;
}
.clingo-settings-modal-content ul ul {
  list-style: circle;
  margin-left: 1.5em;
}
.clingo-settings-modal-content strong {
  color: #2a3a5e;
}
.clingo-settings-modal-content em {
  color: #6a7a8a;
  font-style: italic;
}
.clingo-settings-modal-content .collapsible {
  background: #e7eaf3;
  color: #2a3a5e;
  cursor: pointer;
  padding: 0.7em 1em;
  width: 100%;
  border: none;
  text-align: left;
  outline: none;
  font-size: 1.1em;
  border-radius: 6px;
  margin-bottom: 0.3em;
  transition: background 0.2s;
  position: relative;
  padding-left: 2em; /* Space for chevron */
}
.clingo-settings-modal-content .collapsible::before {
  content: "▶";
  position: absolute;
  left: 0.7em;
  top: 50%;
  transform: translateY(-50%) rotate(0deg);
  transition: transform 0.2s;
  font-size: 1em;
  color: #2a3a5e;
}
.clingo-settings-modal-content .collapsible.active::before {
  transform: translateY(-50%) rotate(90deg);
}
.clingo-settings-modal-content .collapsible:hover {
  background: #d0d6e6;
}
.clingo-settings-modal-content .content {
  padding: 0 1em;
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.3s ease;
  background: #f9f9fc;
  border-radius: 0 0 8px 8px;
}
.clingo-settings-modal-content .content.open {
  max-height: 1000px; /* Large enough for content */
  padding: 1em;
}

.clingo-settings-modal-actions {
  display: flex;
  justify-content: flex-end;
  gap: 1em;
}

body.modal-open {
  overflow: hidden;
}

#clingo-options-input {
  width: 100%;
  box-sizing: border-box;
  font-size: 1em;
  padding: 0.5em;
  margin-top: 0.3em;
  margin-bottom: 1em;
}

/* Mobile - matches Minima post spacing */
@media (max-width: 900px) {
  .docs-sidebar {
    position: static;
    right: 0;
    margin: 2rem 0;
    padding: 1.5rem 0;
    border-top: 1px solid #e8e8e8;
  }
}

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