/* 编译原理实验 OJ：轻量自定义样式（主体用 Bootstrap 5） */
body { font-feature-settings: "tnum"; }
.card { border: 1px solid rgba(0, 0, 0, .07); }
.navbar-brand { font-weight: 600; letter-spacing: .5px; }
pre { font-size: .82rem; }
.table :where(th) { white-space: nowrap; }