

  h3 {
    margin: 0;
    color: whitesmoke;
  }

  .filters {
    position: fixed;
    top:0;
    left: 0;
    width: 100%;
    background-color: #222222;
    border-bottom: 1px solid #555;
    color: #2faf93;
    font-family: "courier new", courier, monospace;
  }

  .filter {
    display: inline-block;
    padding: 5px;
  }

  .filters label {
    display: block;
  }

  .stats {
    position: absolute;
    top: 0;
    right: 15px;
    list-style: none;
    font-size: 12px;
  }

  .regressions {
    mar