commands-sk {

  .list {
    overflow-y: scroll;
    height: 85vh;
    display: block;
  }

  .op {
    display: block;
    margin-left: -2em;
  }

  hr {
    border: none;
    height: 1px;
    margin: 0px;
    color: #BBB;
    background-color: #BBB;
  }

  .count {
    display: inline-block;
    margin-left: -1em;
    font-weight: bold;
    top: 0.5em;
    left: -0.5em;
    position: relative;
    width: 0.7em;
  }

  .index {
    margin-right: 0.5em;
  }

  // makes the button only as tall as necessary to hold text
  button {
    margin-top: auto;
    margin-bottom: auto;
  }

  pre {
    margin-left: 1em;
  }

  .icon {
    margin-left: -0.5em;
    display: inline-block;
    opacity: 0.7;
  }

  details {
    margin-left: 2em;
  }

  details[open] {
    background: #eee;
  }

  .selected {
    background: #77beff;
  }

  details:hover {
    background-color: #eeffee;
  }

  summary {
    display: flex;
    flex-diection: row;
  }

  // flex box was happy to shrink this thing, which looked terrible.
  details summary::-webkit-details-marker {
    width: 9px;
  }

  .command-icons-group {
    margin-left: -0.4em;
    white-space: nowrap;
  }

  .command-title {
    font-size: 13px;
    padding: 4px;
  }

  code.short-desc {
    overflow: hidden;
    white-space: nowrap;
    flex-grow: 6;
    padding-top: 4px;
  }

  .gpu-op-id {
    background: #1B9E77;
    color: white;
    border-radius: 5px;
    padding: 2px 4px;
    margin: 1px;
    position: relative;
    top: 5px;
  }

  checkbox-sk {
    min-width: 16px;
    display: inline-block;
  }

  play-sk {
    margin: 5px auto;
  }

  .range-input {
    width: 2em;
  }

  #text-filter {
    flex-grow: 2;
  }
}