.tezos-toolbar {
  background-color: #655837!important;
}

.dune-toolbar {
  background-color: #0f093d!important ;
}

span.tz {
  content: "ꜩ";
}

span.dun {
  content: "đ";
}

#disync-warning {
  visibility: hidden;
}

#liquidity-input-file,
#michelson-input-file {
  max-width: 220px;
}

/* .dark-theme { */
/*     color: white; */
/* } */

#contents.dark-theme .border {
  border-color: #555!important;
}

#contents.dark-theme label:not(.btn) {
  color: white;
}


.title-box.dark-theme h2 {
  color: white
}

#liquidity-editor.dark-theme {
  border-color: white
}

#michelson-editor.dark-theme {
  border-color: white
}

#parameters-box.dark-theme div,
#parameters-box.dark-theme div > div {
  color: white ;
}

#contents.dark-theme {
  color : white;
  background-color : #141717;
}

#contents.dark-theme button[disabled] {
  background-color: #555;
  color: #999;
}

#contents.dark-theme .modal-content {
  background-color : #141717;
  color: white;
}


#contents.dark-theme .close {
  color:white;
  text-shadow: 0 1px 0 #000;
}

#contents.dark-theme .modal-header {
  border-bottom-color: #333;
}

#contents.dark-theme hr {
  border-color: #333;
}

#contents.dark-theme .card {
  background-color: #444 ;
  color: white;
}

#contents.dark-theme .card-body {
  background-color: #333 ;
}

#contents.dark-theme pre code,
#contents.dark-theme pre,
#contents.dark-theme #run-return-big-map-diff code,
#contents.dark-theme code.dark_code,
#contents.dark-theme .result {
  color: #ddd ;
}

#parameters-box.dark-theme,
#parameters-box.dark-theme #run-tabs {
  color: black ;
}

#contents.dark-theme .form-control,
#contents.dark-theme .custom-select,
#contents.dark-theme .custom-file-label
{
  background-color: #222 ;
  color: white ;
  border-color: #444 ;
}

#contents.dark-theme .form-control:focus {
  border-color: var(--primary, blue) ;
}

#contents.dark-theme .form-control.is-valid,
#contents.dark-theme .custom-file-input.is-valid~.custom-file-label
{
  border-color: var(--success, green) ;
}

#contents.dark-theme .form-control.is-invalid
#contents.dark-theme .custom-file-input.is-invalid~.custom-file-label
{
  border-color: var(--danger, red) ;
}

#contents.dark-theme .alert-danger,
#contents.dark-theme .table-danger>td,
#contents.dark-theme .table-danger>th {
  color: #f8d7da;
  background-color: #721c24;
  border-color: #762a31;
}

#contents.dark-theme .alert-danger .alert-link {
  color: #fbdadf;
}

#contents.dark-theme .alert-success,
#contents.dark-theme .table-success>td,
#contents.dark-theme .table-success>th {
  color: #c3e6cb;
  background-color: #155724;
  border-color: #1e612d;
}

#contents.dark-theme .alert-success .alert-link {
  color: #d6ffdf;
}

#contents.dark-theme .nav-tabs {
  border-color: #555 ;
}
#contents.dark-theme nav {
  background: #555!important ;
  border-color: #444!important ;
}
#contents.dark-theme .input-group-text {
  background: #333!important ;
  color: #eee ;
  border-color: #444!important ;
}
#contents.dark-theme .nav-link.active {
  background: #141717!important ;
  color: white ;
  border-color: #555 #555 #141717;

}

#contents.dark-theme .nav-link:hover,
#contents.dark-theme .nav-link:focus {
  border-color: #333 #333 #555;
}

#contents.dark-theme textarea.pk {
  background-color: #884400;
  border-color: #995500;
}

#contents.dark-theme #tab-mic-a.active {
  background-color: #555!important;
  border-bottom-color: #555;
}

#contents.dark-theme .list-group-item {
  background-color: unset;
  color: #f3f3f3;
}

#contents.dark-theme .list-group-item-action:focus,
#contents.dark-theme .list-group-item-action:hover {
  color: white;
  background-color: #444;
}

.run-value {
  padding: 5px;
  border: solid 1px;
  border-radius: 4px;
}

.content-box {
  /* display: -webkit-inline-box; */
  display: flex;
  width: 100%;
  height: 74%;
}

.success {
  background-color: limegreen;
  color: white;
  border: 1px solid forestgreen;
  padding: 10px;
  border-radius: 5px;
}

.form-control.pk {
  border-color: #ffc176 ;
  background-color: #ffda95;
}

.form-control.pk.is-valid {
  border-color: var(--success, green) ;
}

.form-control.pk.is-invalid {
  border-color: var(--danger, red) ;
}

.form-control.pk:focus {
  border-color: var(--orange, orange)!important;
  box-shadow: 0 0 0 0.2rem rgba(255,150,0,.5);
}

.pkrow {
  position: relative;
}

.pkrow .pktooltip {
  visibility: hidden;
  width: 300px;
  background-color: var(--danger, red);
  color: #fff;
  text-align: center;
  padding: 5px 0;
  border-radius: 6px;

  /* Position the tooltip text */
  position: absolute;
  z-index: 1;
  /* bottom: 125%; */
  /* bottom: 60%; */
  top: -8px;
  left: 50%;
  margin-left: -150px;

  /* Fade in tooltip */
  opacity: 0;
  transition: opacity 1s;
}

/* Tooltip arrow */
.pkrow .pktooltip::after {
  content: "";
  position: absolute;
  top: 100%;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
  border-color: var(--danger, red) transparent transparent transparent;
}

/* Show the tooltip text when you mouse over the tooltip container */
.pkrow:hover .pktooltip {
  visibility: visible;
  opacity: 1;
}

.console {
  background-color: #cfcfcf55;
  /* height: 100%; */
  width: auto;
  border-radius: 5px;
  overflow-y: scroll;
  white-space: pre-wrap;
  word-wrap: break-word;
  border: 1px solid;
  padding: 2px;
}

pre {
    margin-top: 0;
    margin-bottom: 0;
}

pre, pre code {
  word-break: break-all;
  white-space: pre-wrap;
  white-space: -pre-wrap;
  white-space: -o-pre-wrap;
  word-wrap: break-word;
}

#compilation-error {
  color: #a94442;
  background-color: #f2dede;
  border-color: #ebccd1;
  border: 1px solid transparent;
  border-radius: 4px;
  margin-top:2px;
}
.error-message {
  color: #a94442;
  background-color: #f2dede;
  border-color: #ebccd1;
  border: 1px solid transparent;
  border-radius: 4px;
  margin-top:2px;
  width:100%;
}

.result {
  padding: 0px;
  margin-bottom: 0px;
  font-size: 12px;
  line-height: 12px;
  color: #333;
  overflow: unset;
}
.spinner {
  /* height: 100%; */
  height: 150px;
  margin: auto;
  width: auto;
  display: block;
}

.any-check-success {
  animation: 1s check_success;
  animation-fill-mode: forwards;
}

.ocaml-check-success {
  animation: 1s check_success;
  animation-fill-mode: forwards;
}

.michelson-check-success {
  animation: 1s check_success;
  animation-fill-mode: forwards;
}

@-webkit-keyframes check_success {
  0%   {background-color:rgba(100,250,100,0.5);}
  50%  {bakground-color: rgba(100,250,100,1.0);}
  /* 100% {background-color:rgba(100,250,100,0.0);} */
}

/* Standard syntax */
@keyframes check_success {
  0%   {background-color:rgba(100,250,100,0.5);}
  50%  {bakground-color: rgba(100,250,100,1.0);}
  /* 100% {background-color:rgba(100,250,100,0.0);} */
}


.any-check-failure {
  border: solid 2px var(--danger, red);
  animation: 1s check_failure;
  animation-fill-mode: forwards;
}

.ocaml-check-failure {
  animation: 1s check_failure;
  animation-fill-mode: forwards;
}

.michelson-check-failure {
  animation: 1s check_failure;
  animation-fill-mode: forwards;
}

@-webkit-keyframes check_failure {
  0%   {background-color: rgba(250,120,120,1.0);}
  50%  {bakground-color:  rgba(250,120,120,0.5);}
  /* 100% {background-color: rgba(250,120,120,0.0);} */
}

/* Standard syntax */
@keyframes check_failure {
  0%   {background-color: rgba(250,120,120,1.0);}
  50%  {bakground-color:  rgba(250,120,120,0.5);}
  /* 100% {background-color: rgba(250,120,120,0.0);} */
}

.ace_editor {
  font-size: 14px;
}

#tab-mic-a.active {
  background-color: #f8f9fa;
  border-bottom-color: #f8f9fa;
}

#liquidity-editor {
  height: -webkit-calc(100vh - 152px);
  height: -moz-calc(100vh - 152px);
  height: calc(100vh - 9.5rem);
  font-size: 15px;
  font-family: var(--font-family-monospace, monospace);
}

#michelson-editor {
  height: -webkit-calc(100vh - 193px);
  height: -moz-calc(100vh - 193px);
  height: calc(100vh - 12.1rem);
  font-size: 14px;
  font-family: var(--font-family-monospace, monospace);
}

.right-tab-pane-content {
  max-height: calc(100vh - 8.2rem);
  overflow-y: auto;
  overflow-x: hidden; /* for firefox */
}

.ace_editor .error {
  position: absolute;
  z-index:20;
  border-bottom: 2px var(--danger, red) dotted;
}

.ace_editor .warning {
  position: absolute;
  z-index:20;
  border-bottom: 2px var(--warning, yellow) dotted;
}

.ace_editor .info {
  position: absolute;
  z-index:20;
  border-bottom: 2px var(--info, cyan) dotted;
}

.ace_editor .debug-line {
  position: absolute;
  z-index:20;
  background-color: rgba(0,200,90,0.1);;
}

.ace_editor .debug {
  position: absolute;
  z-index:20;
  background-color: rgba(0,200,90,0.3);;
}

.code {
  font-family: var(--font-family-monospace, monospace);
}


#toast-container>div{
  -moz-box-shadow:0 0 12px #222;
  -webkit-box-shadow:0 0 12px #222;
  box-shadow:0 0 12px #222;
}

.logo-div {
  height: 30px;
  /* overflow: overlay; */
}

.logo-img {
  height: 80px;
  top: -36px;
  position: relative;
  z-index: 1;
  margin-right: 6px;
}

.logo-ocp {
  padding-top: 22px;
  height: 42px;
}


/* @-moz-document url-prefix() { */
/*     html {font-size:1.14rem;} */
/* } */


.spinner-in {
  display: inline-block;
  height: 40px;
  margin-left: 2px;
  margin-top: -12px;
  margin-bottom: -8px;
}

.hash-icon {
  width: 2.2rem;
  height: 2.2rem;
  display: inline-block;
}

.hash-icon-small {
  width: 1.1rem;
  height: 1.1rem;
  display: inline-block;
}

.tz1-source-icon {
  min-width: 1.1rem;
  min-height: 1.1rem;
  display: inline-block;
}

#top-tz1-icon {
  width: 1.1rem;
  height: 1.1rem;
  display: inline-block;
  position:relative;
}

#top-tz1-icon-state {
    display: none;
    background-color: #0f093d ;
    /* border-radius: 3px; */
    width: 100%;
    height: 100%;
    left: 0;
    z-index: 100;
    position:absolute;
    top:0;
}

#top-tz1-icon-state.metal-locked {
    color: white;
    display: inline-block;
}

#top-tz1-icon-state.metal-unapproved {
    display: inline-block;
    color: var(--red);
}

/* .hash-icon-left { */
/*     border-radius: 3px 0 0 3px; */
/* } */

.balance-card-text {
  width: 100%;
  text-align: center;
  font-size: 2.5vmax;
}

code.dark_code,
#run-return-big-map-diff code {
  color: #000;
}

.ace_gutter-cell.ace_breakpoint{
  border-radius: 999px;
  background-color: var(--red, red);
  color: white;
  /* box-shadow: 0px 0px 0px 1px darkred inset; */
}

/* slider */
.debug-slider {
  -webkit-appearance: none;
  /* width: calc(100% - (73px)); */
  width: 100%;
  height: 10px;
  /* border-radius: 5px; */
  background: #d7dcdf;
  outline: none;
  padding: 0;
  margin: 0;
}
.debug-slider::-webkit-slider-thumb {
  -webkit-appearance: none;
  appearance: none;
  width: 20px;
  height: 20px;
  border-radius: 50%;
  background: var(--secondary, gray);
  cursor: pointer;
  transition: background .15s ease-in-out;
}
.debug-slider::-webkit-slider-thumb:hover {
  background: var(--primary);
}
.debug-slider:active::-webkit-slider-thumb {
  background: var(--primary);
}
.debug-slider::-moz-range-thumb {
  width: 20px;
  height: 20px;
  border: 0;
  border-radius: 50%;
  background: var(--secondary, gray);
  cursor: pointer;
  transition: background .15s ease-in-out;
}
.debug-slider::-moz-range-thumb:hover {
  background: var(--primary, blue);
}
.debug-slider:active::-moz-range-thumb {
  background: var(--primary, blue);
}
.debug-slider:focus::-webkit-slider-thumb {
  box-shadow: 0 0 0 3px #fff, 0 0 0 6px var(--primary, blue);
}
#contents.dark-theme .debug-slider {
  background: #555;
}
#contents.dark-theme .debug-slider:focus::-webkit-slider-thumb {
  box-shadow: 0 0 0 3px #333, 0 0 0 6px var(--primary, blue);
}
#contents.dark-theme .table-bordered td,
#contents.dark-theme .table-bordered th {
  border-color: #444;
}

.reason-button {
  padding: 12px 3px 0px 12px ;
}

/* Small devices (landscape phones, less than 768px) */
@media (max-width: var(--breakpoint-md)) {  }

/* Medium devices (tablets, less than 992px) */
@media (max-width: var(--breakpoint-lg)) {

  /* Remove line numbers  */

  .ace_gutter-layer {
    width: 18px!important;
  }

  /* .ace_scroller { */
  /*     left: 18px!important; */
  /* } */

  .ace_gutter-cell.ace_error {
    background-position: 0!important;
  }

  .ace_gutter-cell.ace_warning {
    background-position: 0!important;
  }
}