message: Put the font size in the frame header back to normal and reduce the header's height.
diff: @@ -50,7 +50,7 @@ $ICON_FAIL_COLOR: $brand-text-danger;
  display: flex;
  width: 100%;
  z-index: 5;
  - font-size: 0.9rem;
  + font-size: 0.8rem;
  }
  #ID_OUTPUT_CONTAINER {
  @@ -170,16 +170,9 @@ BUTTON:hover {
  }
  }
  -#ID_CONTAINER.not-scrolling > #ID_HEADER {
  - border-bottom: $TEAR_BORDER_HEIGHT solid $DEFAULT_BACKGROUND_COLOR;
  -}
  -
  -#ID_CONTAINER.not-scrolling.CLASS_FAILED > #ID_HEADER {
  - border-bottom: $TEAR_BORDER_HEIGHT solid $FAIL_BACKGROUND_COLOR;
  -}
  -
  #ID_CONTAINER.scrolling > #ID_HEADER {
  border-bottom: $TEAR_BORDER_HEIGHT dashed var(--terminal-background-color);
  + margin-bottom: -1 * $TEAR_BORDER_HEIGHT;
  }
  #ID_CONTAINER.bottom-not-visible.bottom-not-visible > #ID_OUTPUT_CONTAINER {
  @@ -210,7 +203,6 @@ BUTTON:hover {
  }
  }
  -
  .header_spacer {
  flex: 0em 1 1;
  }
  