{# The recent-log widget. Renders either the tail lines or a hint
   when JMRI_LOG_FILE isn't configured. The tail comes from the
   ``logs`` JSON service; the operator sees exactly what the service
   sees so a mismatch never surprises anyone. #}
{% if log_path %}
<p class="muted small" style="margin-top:0">
  Tailing <code class="mono">{{ log_path }}</code>
  · last {{ log_lines|length }} of {{ log_tail_max }}
</p>
{% if log_lines %}
<pre class="mono small" style="max-height:20em;overflow:auto;background:var(--bg);padding:0.5rem;border-radius:4px">{% for line in log_lines %}{{ line }}
{% endfor %}</pre>
{% else %}
<p class="muted">Log file is empty.</p>
{% endif %}
{% else %}
<p class="muted small" style="margin-top:0">
  No log file configured. Set
  <code class="mono">JMRI_LOG_FILE=/path/to/jmri.log</code>
  before starting the server to enable file logging + this widget.
</p>
{% endif %}