.preview-inner {
  display: none;
}

.with-preview:hover > .preview-body {
  visibility: visible;
}
.with-preview:hover > .preview-body > .preview-popup {
  visibility: visible;
}
.with-preview > .preview-body {
  visibility: hidden;
  display: inline-block;
  position: absolute;
}
.with-preview > .preview-body > .preview-popup:hover {
  visibility: visible;
}
.with-preview > .preview-body > .preview-popup {
  box-shadow: 10px 5px 5px black;
  width: 480px;
  height: 240px;
  transition-delay: 300ms;
  transition-property: visibility;
  visibility: hidden;
  position: absolute;
  top: 20px;
  border-radius: 6px;
  background-color: rgb(56.5, 56.5, 56.5);
  z-index: 10;
  border-width: 1px;
  border-color: #4B5563;
  padding: 0.75rem;
  display: grid;
  grid-template-areas: "title image" "summary image";
  grid-template-columns: 60% 40%;
  grid-template-rows: 2rem calc(100% - 2rem);
  grid-row-gap: 4px;
  grid-column-gap: 8px;
}
.with-preview > .preview-body > .preview-popup .title {
  font-size: 1.25rem;
  font-weight: 700;
  grid-area: title;
  overflow: clip;
  line-height: 1.5rem;
  height: fit-container;
  margin-bottom: 4px;
  border-bottom-style: solid;
  border-bottom-color: rgb(114, 119, 125);
  border-bottom-width: 1px;
}
.with-preview > .preview-body > .preview-popup .summary {
  grid-area: summary;
  overflow: clip;
}
.with-preview > .preview-body > .preview-popup .image {
  grid-area: image;
  overflow: clip;
  height: 100%;
  width: 100%;
}
.with-preview > .preview-body > .preview-popup .image > span {
  margin: auto auto;
  display: table;
}

aside {
  float: right;
  min-width: 80px;
  border-width: 1px;
  border-style: solid;
  border-radius: 6px;
  text-align: center;
  margin: 8px;
  padding: 8px;
  background-color: rgb(56.5, 56.5, 56.5);
}
aside > span {
  text-align: left;
  display: inline-block;
}
aside .aside-image {
  background-color: #1F1F1F;
}

.system-container {
  display: flex;
  flex-direction: row;
  column-gap: 40px;
  row-gap: 16px;
  flex-wrap: wrap;
  justify-content: space-around;
}

.proof-tree .rule {
  display: flex;
  flex-direction: row;
}
.proof-tree .rule > .name {
  white-space: nowrap;
  margin-top: 10px;
  margin-left: 8px;
  padding-right: 4px;
}
.proof-tree .rule > .main-content {
  display: flex;
  flex-direction: column;
  align-items: center;
  width: max-content;
}
.proof-tree .rule > .main-content > .premises {
  display: flex;
  justify-content: center;
  align-items: flex-end;
  gap: 24px;
  width: 100%;
}
.proof-tree .rule > .main-content > .conclusion {
  flex-grow: 1;
  padding-left: 4px;
  padding-right: 4px;
  padding-top: 4px;
  padding-bottom: 4px;
  text-align: center;
  width: 100%;
  min-width: max-content;
  border-top-style: solid;
  border-top-color: currentColor;
  border-top-width: 1px;
}
.proof-tree .rule > .label {
  display: none;
}

.footnote .footnote-mark {
  vertical-align: super;
  font-size: 80%;
  font-weight: 600;
  color: rgb(136, 163, 232);
}
.footnote .footnote-content {
  font-size: 80%;
  position: relative;
  float: right;
  clear: both;
  text-align: justify;
  width: 196px;
  margin-right: -220px;
  text-indent: 0px;
  padding-bottom: 4px;
}
.footnote .footnote-content .footnote-ref {
  font-weight: 600;
  color: rgb(136, 163, 232);
}
.footnote .footnote-content .footnote-ref::after {
  content: ".";
}
.footnote .footnote-mark:hover + .footnote-content {
  border-radius: 5px;
  border-style: dashed;
  border-width: 1px;
  border-collapse: white;
}

@media screen and (max-width: 1355px) {
  .footnote {
    display: none;
  }
}
html {
  scroll-behavior: smooth;
  color: #e2e8f0;
  background-color: #1F1F1F;
  font-family: "New Computer Modern";
  color-scheme: dark;
  scroll-padding-top: 110px;
  font-size: 16px;
}

header {
  font-size: 48px;
  line-height: 1;
  padding-left: 44px;
  padding-right: 44px;
  padding-top: 8px;
  padding-bottom: 8px;
  position: sticky;
  top: 0;
  z-index: 10;
  background-color: #1F1F1F;
}

#root-link, #root-link:hover, #root-link:active {
  color: #e2e8f0;
}

h1 {
  font-size: 30px;
  line-height: 2.25rem;
  font-weight: 500;
  border-bottom-style: solid;
  border-bottom-color: rgb(114, 119, 125);
  border-bottom-width: 1px;
  margin-bottom: 16px;
  margin-top: 0px;
  position: sticky;
  top: 64px;
  background-color: #1F1F1F;
}

h2 {
  border-bottom-style: solid;
  border-bottom-color: rgb(114, 119, 125);
  border-bottom-width: 1px;
  font-size: 24px;
  line-height: 2rem;
  margin-top: 4px;
  margin-bottom: 4px;
  clear: right;
}

h3 {
  font-size: 18px;
  line-height: 1.75rem;
  margin-top: 4px;
  margin-bottom: 4px;
}

body {
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  min-height: 100vh;
  margin: 0px;
}

a {
  accent-color: #e2e8f0;
  text-decoration: none;
}
a:hover {
  color: #3b82f6;
  transition-property: color, background-color, border-color, text-decoration-color, fill, stroke;
  transition-timing-function: cubic-bezier(0.4, 0, 0.2, 1);
  transition-duration: 300ms;
}

code {
  background-color: #1e293b;
  padding-left: 6px;
  padding-right: 6px;
  padding-top: 2px;
  padding-bottom: 2px;
  border-radius: 4px;
  font-size: 14px;
  line-height: 1.25rem;
}

pre {
  background-color: #1e293b;
  padding: 8px;
  border-radius: 4px;
  overflow-x: auto;
}
pre code {
  background-color: transparent;
}

table {
  width: 100%;
  border-collapse: collapse;
  border-width: 4px;
  border-color: #4B5563;
  margin-top: 16px;
  margin-bottom: 16px;
}

th, td {
  border-width: 4px;
  border-color: #4B5563;
  padding: 8px;
  text-align: left;
}

th {
  background-color: #1e293b;
  font-weight: 600;
}

p {
  margin-top: 8px;
  margin-bottom: 12px;
}

nav ol {
  padding-left: 12px;
}
nav a {
  color: rgb(136, 163, 232);
}
nav li {
  margin-top: 8px;
  margin-bottom: 12px;
}

nav .highlight-header {
  font-weight: 700;
  color: white;
}

path[fill="#000000"], use[fill="#000000"] {
  fill: currentColor;
}

path[stroke="#000000"] {
  stroke: currentColor;
}

dl {
  margin: 0px;
}

#outer-content {
  display: flex;
  justify-content: center;
}

#middle-content {
  display: inline-block;
}

#content {
  display: grid;
  padding: 44px;
  gap: 24px;
  grid-template-areas: "navigation main-content related" "footer footer footer";
  grid-template-columns: 196px 956px 196px;
}

#main-content {
  grid-area: main-content;
  width: 956px;
}

#navigation {
  padding-top: 16px;
  padding-bottom: 16px;
  text-wrap: wrap;
  width: 196px;
  font-size: 14px;
  line-height: 1.25rem;
  grid-area: navigation;
}

#navigation > div {
  position: sticky;
  top: 64px;
}

#nav-title {
  border-bottom-style: solid;
  border-bottom-color: rgb(114, 119, 125);
  border-bottom-width: 1px;
  font-size: 1rem;
  line-height: 1.5rem;
}

#related {
  padding-top: 16px;
  padding-bottom: 16px;
  text-wrap: wrap;
  width: 100%;
  font-size: 14px;
  line-height: 1.25rem;
  grid-area: related;
}
#related > div > ul {
  padding-left: 20px;
}

#related > div {
  position: sticky;
  top: 64px;
  background: #1F1F1F;
  border-bottom-style: solid;
  border-bottom-width: 1px;
  border-bottom-color: rgb(114, 119, 125);
}

#rel-title {
  border-bottom-style: solid;
  border-bottom-color: rgb(114, 119, 125);
  border-bottom-width: 1px;
  font-size: 1rem;
  line-height: 1.5rem;
}

.definition-block, .lemma-block, .example-block, .theorem-block, .proof-block-outer {
  margin-left: 8px;
  padding-left: 8px;
  border-left-style: solid;
  border-left-color: gray;
  border-left-width: 2px;
  border-bottom-left-radius: 10px;
  margin-top: 8px;
  margin-bottom: 8px;
}

.proof-block-outer {
  margin-top: 0px;
  padding-top: 4px;
}

.block-keyword {
  font-weight: 700;
  background-color: #1F1F1F;
  padding-top: 2px;
  margin-left: -16px;
}

.block-title::before {
  content: "(";
}
.block-title::after {
  content: ").";
}

.diagram {
  margin-top: 8px;
  margin-bottom: 8px;
}

dt {
  font-weight: bold;
}
dt::after {
  content: ":";
}

.proof-keyword {
  font-style: italic;
  margin-left: -14px;
}

details[name=proof] > .proof-block-outer {
  display: grid;
  grid-template-rows: 0fr;
  transition-property: grid-template-rows;
  transition-duration: 0.3s;
  transition-timing-function: ease;
}
details[name=proof] > .proof-block-outer > .proof-block-inner {
  overflow: clip;
  min-height: 0px;
}
details[name=proof][open] > .proof-block-outer {
  grid-template-rows: 1fr;
}

@media screen and (max-width: 1347px) {
  #content {
    grid-template-areas: "navigation" "main-content" "related" "footer";
    grid-template-columns: auto;
  }
  #middle-content {
    margin: 8px;
  }
  #rel-title {
    border-bottom-style: solid;
    border-bottom-color: rgb(114, 119, 125);
    border-bottom-width: 1px;
    font-size: 24px;
    line-height: 2rem;
    margin-top: 4px;
    margin-bottom: 4px;
    clear: right;
  }
}

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