AskaEth
14da7b3dec
M69（141e9b1）把 LayoutMetrics::nav_expanded_width 改名 nav_rail_width、删掉
nav_collapsed_width、新增 nav_drawer_width=240。本分支基线 0aac307 还没有 M69 的
crates/design（那个目录也不在本 mission 的改动范围），现在直接改名会编不过。
所以把 shell/nav.rs 的三处 metrics.nav_expanded_width 收敛到 nav_rail_width(metrics)，
并在函数文档里写清 M69 前后对照与「合入后只改函数体一行」；theme::STROKE_PX 同样
注明可换成 unlucky_design::stroke::HAIRLINE。行为/视觉零变化（值都是 88 / 1.0）。