height: 15px;
    border-radius: 50%;
    /* A little hack to display the window buttons in one pseudo element. */
    background: #d9515d;
    -webkit-box-shadow: 25px 0 0 #f4c025, 50px 0 0 #3ec930;
            box-shadow: 25px 0 0 #f4c025, 50px 0 0 #3ec930;
}

[data-termynal]:after {
    content: 'bash';
    position: absolute;
    color: var(--color-text-subtle);
    top: 5px;
    left: 0;
    width: 100%;

   Chat card container
   ============================================ */
.card.shadow-sm {
    display: flex;
    flex-direction: column;
    height: calc(100vh - 150px);
    max-height: calc(100vh - 150px);
    border-radius: 8px;
    border: 1px solid #dfe1e6;
}

.card-header {
    background-color: #fafbfc;
    border-bottom: 1px solid #dfe1e6;
}

.card-body.p-0 {

a {
    display: block;
    float: left;
    width: 300px;
    height: 50px;
    padding: 2px;
    font-family: Verdana, sans-serif;
    font-size: 10pt;
    color: #000000;
    text-decoration: none
}
a.plain {
    display: inline;
    float: none;
    width: auto;
    height: auto
}
a.sort {
    display: block;
    float: left;
    width: 100px;
    height: 15px;
    font-family: Verdana, sans-serif;

  width: 15px;
  height: 15px;
  border-radius: 50%;
  /* A little hack to display the window buttons in one pseudo element. */
  background: #d9515d;
  -webkit-box-shadow: 25px 0 0 #f4c025, 50px 0 0 #3ec930;
          box-shadow: 25px 0 0 #f4c025, 50px 0 0 #3ec930;
}

.doc-param-details .highlight {
  overflow-x: auto;
  width: 0;
  min-width: 100%;
}

.md-typeset dfn {