@import "ui-variables";

.psci-pane {
  font-family: Menlo, Consolas, 'DejaVu Sans Mono', monospace;

  display: flex;
  flex-direction: column;

  .psci-lines {
    flex: 1;
    overflow: scroll;
    margin: 0 5px 5px 5px;
  }

  .psci-input {
    flex: 0 auto;
    max-height: 100px;
  }

  .psci-line {
    white-space: pre;
    font-size: 14px;
  }
}

@import "ui-variables";

.psci-pane {
  font-family: Menlo, Consolas, 'DejaVu Sans Mono', monospace;

  display: flex;
  flex-direction: column;

  .psci-lines {
    flex: 1;
    overflow: scroll;
    margin: 0 5px 5px 5px;
  }

  .psci-input {
    flex: 0 auto;
    max-height: 100px;
  }

  .psci-line {
    white-space: pre;
    font-size: @input-font-size;
  }
}

Set font size from theme variable
Set font size from theme variable
