body, html {
  margin: 0 0 0 0;
  font-size: 16px;
}

body {
  position: relative;
  min-width: 300px;
  font-family: 'Roboto', sans-serif;
  font-weight: 400; /* normal */
  font-style: normal;
}

a {
  font-weight: bold;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

a:hover, a:active, a:focus {
  outline: 0;
}

pre:hover, pre:active, pre:focus {
  outline: 0;
}


/*
  Wrapper for tree_view and document tooltips.
  NOTE:
    'front_wrapper' should be finished before 'footer'
    because we add simple tooltips at end of this wrapper and have to avoid
    additional visible space after 'footer'.
 */
#front_wrapper {
  background-color: transparent;
}

.tooltip {
  position: absolute;
  z-index: 16000;
  left: -9999px;
  text-align: left;
  padding: 1px 8px;
  background-color: #fcfcfc;
  border: 1px solid #71ad93;
  border-radius: 4px;
  pointer-events: none;
  -webkit-box-shadow: 0 0 5px #aaa;
  box-shadow: 0 0 5px #aaa;

  font-face: 'Fira Sans';
  font-weight: 400;
  font-style: normal;

}

.tooltip p {
  margin: 3px 2px 2px 2px;
  color: #727272;
  background-color: #fcfcfc;
  padding: 0px 2px;
  font-size: 12px;
}

.half-rule {
  width: 128px;
  margin: 48px auto;
  border-color: var(--bs-kxlab-link-color);
  opacity: 1 !important;
}
.half-right-rule {
  width: 128px;
  margin: 8px 4px 8px auto;
  border-color: var(--bs-kxlab-link-color);
  opacity: 1 !important;
}