/* html, body {
    height: 100%;
    margin: 0;
  } */
  /* body {
    background-color: #fff;
    font-family: sans-serif;
    overflow: hidden;
  } */
  /* h1 {
    font-weight: normal;
    font-size: 140%;
  }
  table {
    height: 100%;
    width: 100%;
  } */
.search_toolbox{
  padding: 2px 5px 2px 5px !important;
}

pre{
  overflow: unset;
  direction: ltr;
}

pre code{
  height: inherit;
  white-space: pre;
  font-size: 0.8rem;
  line-height: normal;
}

  #blocklyArea {
    height: 100%;
  }
  .container-fluid{
    height:90%;
  }
  .customDialogTitle{
    text-align: center;
    font-weight: bold;
  }
  .customDialogMessage{
    text-align: center;
  }
.customDialogInputArea{
  text-align: center;
  padding-bottom: 10px;
}
#customDialogInput{
  text-align: center;
}
.customDialogButtons {
  text-align: center;
}
#customDialogCancel{
  margin-right: 10px;
}

  .hljs {
    color: #ffffff;
    background: #282c34
  }
  .hljs-comment,
  .hljs-quote {
    color: #787b86;
    font-style: italic
  }
  .hljs-doctag,
  .hljs-keyword,
  .hljs-formula {
    color: #42bda8
  }
  .hljs-section,
  .hljs-name,
  .hljs-selector-tag,
  .hljs-deletion,
  .hljs-subst {
    color: #e06c75
  }
  
  

  .hljs-string,
  .hljs-regexp,
  .hljs-addition,
  .hljs-attribute,
  .hljs-meta .hljs-string {
    color: #388e3c
  }
  .hljs-attr,
  .hljs-variable,
  .hljs-template-variable,
  .hljs-selector-class,
  .hljs-selector-attr,
  .hljs-selector-pseudo,
  .hljs-number {
    color: #f57f17;
  }
  .hljs-symbol,
  .hljs-bullet,
  .hljs-link,
  .hljs-meta,
  .hljs-selector-id,
  .hljs-title {
    color: #61aeee
  }
  .hljs-built_in,
  .hljs-title.class_,
  .hljs-class .hljs-title {
    color: #e6c07b
  }
  .hljs-emphasis {
    font-style: italic
  }
  .hljs-strong {
    font-weight: bold
  }
  .hljs-link {
    text-decoration: underline
  }

  .hljs-params{
    color: #feffff
  }

  .hljs-built_in_vars, .hljs-literal{
    color: #f77c80
  }
  .hljs-built_in_func{
    color: #5b9cf6;
  }

  .hljs-title.functions_{
    /* color: #3179f5; */
    color: rgb(49, 245, 114);
  }

  .hljs-type{
    color: #42bda8;
    font-weight: bold;
  }