@import url("https://fonts.googleapis.com/css2?family=Inter:wght@100..900&display=swap");
@import url("https://fonts.googleapis.com/css2?family=Roboto+Mono:ital,wght@0,100..700;1,100..700&display=swap");
@font-face {
  font-family: "rigid-square";
  src: url("https://use.typekit.net/af/6727e5/00000000000000007735c42c/30/l?primer=7fa3915bdafdf03041871920a205bef951d72bf64dd4c4460fb992e3ecc3a862&fvd=n6&v=3") format("woff2"), url("https://use.typekit.net/af/6727e5/00000000000000007735c42c/30/d?primer=7fa3915bdafdf03041871920a205bef951d72bf64dd4c4460fb992e3ecc3a862&fvd=n6&v=3") format("woff"), url("https://use.typekit.net/af/6727e5/00000000000000007735c42c/30/a?primer=7fa3915bdafdf03041871920a205bef951d72bf64dd4c4460fb992e3ecc3a862&fvd=n6&v=3") format("opentype");
  font-display: auto;
  font-style: normal;
  font-weight: 600;
  font-stretch: normal;
}
.center {
  text-align: center;
}

.flex {
  display: flex;
  justify-content: space-between;
}

.hidden {
  display: none;
}

.white-text {
  color: #FFF !important;
}

.analysis {
  margin-top: 40px;
  padding: 30px;
  background-color: #1D2127;
  border-radius: 7.5px;
}
.analysis .analysis-header .analysis-title {
  margin: 6px 0 14px 0;
  font-size: 28px;
  font-style: normal;
  font-weight: 700;
  line-height: 24px;
}
@media only screen and (max-width: 800px) {
  .analysis .analysis-header {
    flex-direction: column;
  }
}
.analysis .analysis-header .program-status {
  border: 1px dotted #7eff18;
  color: #7eff18;
  padding: 12px 20px;
  font-size: 13px;
  margin-bottom: 8px;
  display: flex;
  align-items: center;
}
.analysis .analysis-header .program-status.is_error {
  border: 1px dotted #ff0000;
  color: #ff0000;
}
.analysis .analysis-header .program-status i {
  font-size: 20px;
  margin-right: 10px;
}
.analysis .analysis-body {
  display: flex;
  flex-wrap: wrap;
}
@media only screen and (max-width: 800px) {
  .analysis .analysis-body {
    flex-direction: column;
  }
}
.analysis .analysis-body .analysis-item {
  display: flex;
  justify-content: space-between;
  flex: 0 0 50%;
  border: 1px solid rgba(255, 255, 255, 0.1);
  padding: 20px;
  background-color: #191C21;
}
.analysis .analysis-body .analysis-item .analysis-item-label {
  font-family: "rigid-square";
  color: #FFF;
  font-size: 20px;
  font-style: normal;
  font-weight: 700;
  line-height: normal;
}
.analysis .analysis-body .analysis-item .analysis-item-data {
  color: #B5BDC2;
  font-size: 16px;
  font-style: normal;
  font-weight: 400;
  line-height: normal;
}
.analysis .program-status-error-message {
  border: 1px dotted #ff0000;
  color: #ff0000;
  word-break: break-word;
  margin-top: 10px;
  padding: 10px;
  overflow-x: scroll;
  scrollbar-color: #191C21 #b00000;
  scrollbar-width: thin;
}
.analysis .graph-error {
  border: 1px dotted #ff0000;
  color: #ff0000;
  padding: 10px;
}
.analysis .graph-toggle-holder {
  display: flex;
  align-items: center;
  width: 100%;
  margin-left: 14px;
}
.analysis .graph-toggle-holder #graph-toggle-icon {
  margin-left: 14px;
}
.analysis .graph-toggle-holder #graph-toggle-icon rect {
  stroke: #b5bdc2;
  transition: 0.3s;
}
.analysis .graph-toggle-holder #graph-toggle-icon circle {
  fill: #b5bdc2;
  transition: 0.3s;
}
.analysis .graph-toggle-holder #graph-toggle-icon:hover rect {
  stroke: white;
}
.analysis .graph-toggle-holder #graph-toggle-icon:hover circle {
  fill: white;
}
.analysis .graph-toggle-holder #graph-toggle-icon.toggle-on rect {
  stroke: #9595FC;
}
.analysis .graph-toggle-holder #graph-toggle-icon.toggle-on circle {
  fill: #9595FC;
  transform: translateX(22px);
}

.program-input {
  background-color: #1D2127;
  padding: 30px;
  border-radius: 7.5px;
}
.program-input-field {
  width: 100%;
  background-color: #191C21;
  border-radius: 7.5px;
  border: 1px solid rgba(255, 255, 255, 0.1);
  color: #fdc667;
  font-family: "Roboto Mono", monospace;
  font-size: 12px;
  resize: none;
  padding: 12px;
  scrollbar-color: #191C21 #424242;
  scrollbar-width: thin;
}
.program-input-field:focus-visible {
  outline: none;
}

.copy-program {
  position: absolute;
  top: 80px;
  right: 30px;
}

.merkle {
  margin-top: 40px;
  padding: 30px;
  background-color: #1D2127;
}
.merkle h2 {
  margin: 6px 0;
}
.merkle li {
  color: #B5BDC2;
  word-wrap: break-word;
}

.merkle_graph {
  position: relative;
}
.merkle_graph #merkle_graph_holder {
  border: 1px solid rgba(255, 255, 255, 0.1);
  margin-top: 20px;
  border-radius: 7.5px;
}
.merkle_graph #merkle_graph_holder svg {
  background-color: #191C21;
  max-width: 100%;
  max-height: 100%;
  border-radius: 7.5px;
}
.merkle_graph #merkle_graph_holder text {
  fill: white;
}
.merkle_graph #merkle_graph_holder path {
  fill: none;
  stroke: #4090ff;
  stroke-width: 2;
}
.merkle_graph #merkle_graph_holder rect {
  fill: #191C21;
  stroke: #4f4f4f;
  stroke-width: 1;
}
.merkle_graph #merkle_graph_holder .node-full-text {
  visibility: hidden;
  stroke: #191C21;
  stroke-width: 4;
  fill: white;
  paint-order: stroke fill;
}
.merkle_graph #merkle_graph_holder .node-main-text, .merkle_graph #merkle_graph_holder .node-full-text {
  pointer-events: none;
}
.merkle_graph #merkle_graph_holder .node-rect:hover ~ .node-main-text {
  visibility: hidden;
}
.merkle_graph #merkle_graph_holder .node-rect:hover ~ .node-full-text {
  visibility: visible;
}
.merkle_graph .graph-button {
  width: 30px;
  height: 30px;
  border: 1px solid #b26e0f;
  padding: 5px;
  border-radius: 4px;
  background: #191C21;
  stroke-width: 10;
  stroke: #B5BDC2;
  fill: #B5BDC2;
}
.merkle_graph .graph-button:hover {
  background: #b26e0f;
}
.merkle_graph .graph-button-holder {
  position: absolute;
  top: 20px;
  right: 20px;
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.navbar {
  display: flex;
  align-items: stretch;
  background-color: rgba(0, 0, 0, 0);
}
.navbar .tab {
  color: white;
  padding: 14px 16px;
  cursor: pointer;
  border: 1px solid #2E3135;
  background: #191C21;
}
.navbar .tab.active {
  background: #1d2127;
  border: 1px solid #1d2127;
}
.navbar .button {
  color: white;
  padding: 14px 16px;
  cursor: pointer;
  border: none;
  background: #424953;
  margin: 2px 0 2px 2px;
}
.navbar .button:active {
  background: #2E3135;
}
@keyframes run-button-success {
  0%, 100% {
    background-color: initial;
  }
  50% {
    background-color: MediumSeaGreen;
  }
}
@keyframes run-button-failure {
  0%, 100% {
    background-color: initial;
  }
  50% {
    background-color: red;
  }
}
.navbar .run-button {
  background: #b26e0f;
  margin-right: 2px;
}
.navbar .run-button.success {
  animation-name: run-button-success;
  animation-duration: 0.5s;
}
.navbar .run-button.failure {
  animation-name: run-button-failure;
  animation-duration: 0.5s;
}
.navbar .dropdown .dropdown-content {
  display: none;
  position: absolute;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
  z-index: 1;
}
.navbar .dropdown .dropdown-content button {
  width: 100%;
  float: none;
  color: white;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
  text-align: left;
  background: #2e333b;
  border: 1px solid #0d0e10;
  cursor: pointer;
}
.navbar .dropdown .dropdown-content button:hover {
  background: #3c424c;
}
.navbar .dropdown .dropdown-content button:active {
  background: #2E3135;
}
.navbar .dropdown:hover .dropdown-content {
  display: block;
}
.navbar .dropdown:hover .dropdown-button {
  background: #2e333b;
}
.navbar .hamburger {
  display: none;
  position: absolute;
  top: 10px;
  right: 10px;
}
.navbar .hamburger:before {
  font-size: 34px;
}
@media screen and (max-width: 1000px) {
  .navbar .hamburger {
    display: inline-block;
  }
}
.navbar .hamburger-close {
  display: none;
  position: absolute;
  top: 10px;
  right: 14px;
}
.navbar .hamburger-close:before {
  font-size: 34px;
}
@media screen and (max-width: 1000px) {
  .navbar .hamburger-close {
    display: inline-block;
  }
}
.navbar .mobile-hidden .beta-tag {
  color: #ea9606;
  position: absolute;
  right: 40px;
  top: 20px;
}
@media screen and (max-width: 1000px) {
  .navbar .mobile-hidden {
    display: none;
    flex-direction: column;
    position: absolute;
    top: 55px;
    right: 10px;
    z-index: 2;
    background: #0d0e10;
  }
  .navbar .mobile-hidden.open {
    display: flex;
  }
  .navbar .mobile-hidden button {
    width: 100%;
  }
  .navbar .mobile-hidden .beta-tag {
    display: none;
  }
}

.string-box, .error-box, .neutral-box, .success-box {
  border: 1px dotted #ff0000;
  word-break: break-word;
  margin-top: 10px;
  padding: 10px;
  overflow-x: scroll;
}

.success-box {
  border: 1px dotted MediumSeaGreen;
  color: MediumSeaGreen;
}

.neutral-box {
  border: 1px dotted LightGray;
  color: LightGray;
}

.error-box {
  border: 1px dotted #ff0000;
  color: #ff0000;
  margin-bottom: 10px;
}

.tab-content {
  padding: 10px;
  background: #1d2127;
  margin-bottom: 20px;
  min-height: 470px;
}

.witness-table {
  position: relative;
}
.witness-table .table-form .table-form-buttons {
  position: absolute;
  bottom: 20px;
  right: 20px;
}

.transaction-tab {
  position: relative;
}
.transaction-tab .transaction-display-row {
  display: flex;
  align-items: center;
  margin-bottom: 10px;
}
.transaction-tab .transaction-display-row .display-row-label {
  display: inline-block;
  width: 140px;
  text-align: right;
  margin-right: 10px;
}
.transaction-tab .transaction-tab-apply-button {
  position: absolute;
  bottom: 20px;
  right: 20px;
}

.key-store-tab .key-store-display-row {
  display: flex;
  align-items: center;
  margin-bottom: 10px;
}
.key-store-tab .key-store-display-row .display-row-label {
  display: inline-block;
  margin: 0 10px;
}
.key-store-tab .key-store-display-row .input {
  flex-grow: 2;
}
.key-store-tab .signed-data-content {
  border: 1px solid #b26e0f;
  border-radius: 8px;
  padding-top: 20px;
}

.tab-title {
  font-size: 28px;
  font-style: normal;
  font-weight: 700;
  line-height: normal;
  margin-bottom: 12px;
}

.tab-title-group {
  display: flex;
  align-items: center;
  margin-top: 30px;
  margin-bottom: 8px;
  border-bottom: 1px solid #424242;
}
.tab-title-group h3 {
  min-width: 160px;
  margin: 12px 0;
}
.tab-title-group .button-row {
  margin-left: 20px;
}

.tab-description {
  font-size: 16px;
  font-style: normal;
  font-weight: 400;
  line-height: normal;
  color: #b5bdc2;
  margin-bottom: 20px;
}
.tab-description a {
  color: #ea9606;
}

/* Base Tooltip Styles */
.tooltip, .tooltip-below, .tooltip-above {
  position: relative;
  display: inline-block;
}
.tooltip .tooltip-text, .tooltip-below .tooltip-text, .tooltip-above .tooltip-text {
  visibility: hidden;
  width: 60px;
  background-color: #555;
  color: #fff;
  text-align: center;
  padding: 5px 0;
  border-radius: 6px;
  /* Position the tooltip text */
  position: absolute;
  z-index: 9999;
  left: 50%;
  margin-left: -30px;
  /* Fade in tooltip */
  opacity: 0;
  transition: opacity 0.3s;
}
.tooltip .tooltip-text::after, .tooltip-below .tooltip-text::after, .tooltip-above .tooltip-text::after {
  content: "";
  position: absolute;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
}
.tooltip:hover .tooltip-text, .tooltip-below:hover .tooltip-text, .tooltip-above:hover .tooltip-text {
  visibility: visible;
  opacity: 1;
}

/* Tooltip appears above affected element */
.tooltip-above .tooltip-text {
  bottom: 125%;
}
.tooltip-above .tooltip-text::after {
  top: 100%;
  border-color: #555 transparent transparent transparent;
}

/* Tooltip appears below affected element */
.tooltip-below .tooltip-text {
  top: 125%;
}
.tooltip-below .tooltip-text::after {
  bottom: 100%;
  border-color: transparent transparent #555 transparent;
}

.footer {
  display: flex;
  justify-content: space-around;
  margin: 60px 0;
  font-size: 14px;
}
@media screen and (max-width: 1300px) {
  .footer {
    flex-direction: column;
    gap: 40px;
    margin: 40px 30px;
  }
}
.footer .footer-left .footer-logo {
  height: 36px;
  margin-bottom: 10px;
}
.footer .footer-left p {
  margin-bottom: 10px;
  text-wrap: nowrap;
}
.footer .footer-right .footer-title {
  margin: 0 0 10px 0;
}
.footer .footer-right .footer-links {
  display: grid;
  grid-template: 1fr 1fr/1fr 1fr;
  gap: 20px;
}
@media screen and (max-width: 800px) {
  .footer .footer-right .footer-links {
    grid-template: 1fr/1fr;
  }
}
.footer .footer-right .footer-links .footer-link {
  display: flex;
  flex-direction: column;
  gap: 10px;
  border: 1px solid #1d2127;
  padding: 20px;
  border-radius: 6px;
  transition: border 0.5s;
  text-decoration: none;
}
.footer .footer-right .footer-links .footer-link:hover {
  border: 1px solid #ea9606;
}
.footer .footer-right .footer-links .footer-link .footer-link-icon {
  margin-right: 10px;
}
.footer .footer-right .footer-links .footer-link .footer-link-text {
  color: white;
}
.footer .footer-right .footer-links .footer-link .footer-link-url {
  color: #ea9606;
}

* {
  box-sizing: border-box;
}

html {
  scrollbar-color: #191C21 #424242;
  scrollbar-width: thin;
}

body {
  background-color: #0d0f11;
  color: #FFF;
  font-family: "inter", sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  font-family: "rigid-square";
}

a {
  color: #ea9606;
}
a:hover {
  color: white;
}

p {
  margin: 0;
  line-height: 1.5;
}

.button-row {
  display: inline-flex;
  flex-wrap: wrap;
  gap: 4px;
}
.button-row button {
  min-width: 92px;
}
.button-row.is-small button {
  padding: 8px 12px;
}

.flat-button {
  color: white;
  padding: 14px 16px;
  cursor: pointer;
  border: none;
  background: #b26e0f;
  border: 1px solid #b26e0f;
  border-radius: 4px;
  margin-right: 4px;
}
.flat-button i {
  margin: 0 4px;
}
.flat-button.bordered {
  background: #191c21;
}
.flat-button.is-small {
  padding: 8px 12px;
}

.submit-button, .push-button, .pop-button, .copy-button {
  border: 1px solid #b26e0f;
  padding: 4px;
  border-radius: 4px;
  display: flex;
  justify-content: center;
  align-items: center;
  color: #ccc;
  background: #191C21;
}
.submit-button:hover, .push-button:hover, .pop-button:hover, .copy-button:hover {
  background: #b26e0f;
}
.submit-button.is-small, .push-button.is-small, .pop-button.is-small, .copy-button.is-small {
  padding: 8px 12px;
}

input:invalid {
  background-color: lightpink;
}

input[type=radio] {
  accent-color: #ea9606;
}

.input {
  background: #191c21;
  border: 1px solid rgba(255, 255, 255, 0.1);
  border-radius: 4px;
  padding: 6px 12px;
  color: white;
  width: 600px;
}
.input:focus-visible {
  outline: none;
  border: 1px solid rgba(255, 255, 255, 0.18);
}