/* 実行画面（/ecr32）と実行ログ画面。 */
.run-help { margin: 10px 0 0; }
.section-title { font-size: 16px; }
.run-note { white-space: pre-wrap; }

pre.log {
    background: #0b1020;
    color: #a7f3d0;
    padding: 14px;
    border-radius: 8px;
    overflow: auto;
    max-height: 560px;
    font-size: 12.5px;
    line-height: 1.5;
    white-space: pre-wrap;
    word-break: break-all;
    margin: 0;
}