p5.js-web-editor/client/styles/components/_timer.scss

.timer__saved-time {
  @include themify() {
    color: getThemifyVariable('inactive-text-color');
  }
  font-size: #{12 / $base-font-size}rem;
  padding-right: #{30 / $base-font-size}rem;
}