html, body {
  margin: 0;
  padding: 0;
  width: 100%;
  height: 100%;
  font-family: arial, sans-serif;
}

body {
  box-sizing: border-box;
  padding: 0.6em !important;
  position: relative;
  > .layout {
    height: 100%;
    &.cols-2 {
      > :first-child {
        width: 260px;
        margin-right: 6px;
      }
      > :only-child {
        border: 1px solid #ddd;
      }
    }
  }
  > .fill {
    position: relative;
    height: 100%;
    width: 100%;
  }
}

.filter-matched {
  background-color: yellowgreen;
}


.log-pre {
  height: calc(100vh - 6em);
  overflow: auto;
  border: 1px solid #eee;
  margin-bottom: 0;
  &:empty:before {
    content: "Right click to clear the log";
    color: #CCCCCC;
    display: inline-block;
    padding: 0.3em;
  }
  label {
    padding: 0 !important;
  }
}

.z-tooltip {
  &.link {
    &.to-right-down, &.to-left-down {
      margin-top: -0.9em;
    }
    &.to-right-up, &.to-left-up {
      margin-top: 0.9em;
    }
  }
  &.gv-tooltip{
    max-width: 60%;
    pre{
      margin: 0;
      word-break: break-all;
      white-space: break-spaces;
    }
  }
}

demo-desc {
  display: none;
}