/* nav.css — intentionally minimal, all nav styles are inline in nav.php */
/* This file exists only for legacy compatibility */