.hub-doc-options-table {
  td,
  th {
    border: 1px solid black;
    padding: 5px;
    vertical-align: top;
  }

  ul {
    margin-top: 0;
  }

  small {
    margin-bottom: 0;
  }

  // ensures the bottom of the table always has a border even
  // if there is a spacer at the bottom which might otherwise cause
  // a gap
  border-bottom: 1px solid black;
  width: 100%;

  .spacer {
    // The !important is needed here to avoid the value being overridden
    // by table.css injected by some dependencies.
    width: 20px !important;

    // In case of multiple indents, it seems that the first indent still
    // has width 0. Adding a min-width seems to fix it on Chrome and Firefox.
    min-width: 20px;
    border-top: 0;
    border-bottom: 0;
  }

  .parent {
    border-bottom: 0;
  }
}

.hub-doc-blue {
  color: var(--pf-v5-global--info-color--100);
}

.hub-doc-red {
  color: var(--pf-v5-global--danger-color--100);
}

.hub-doc-green {
  color: var(--pf-v5-global--success-color--200);
}

.hub-doc-option-name {
  font-weight: bold;
}

.hub-doc-plugin-config {
  margin-bottom: 16px;
}

.hub-doc-plugin-raw {
  white-space: pre-wrap;
}

.hub-doc-inline-code {
  background-color: #e6e9e9;
  font-family: var(--pf-v5-global--FontFamily--monospace);
  display: inline-block;
  border-radius: 2px;
  padding: 0 2px;
}
