形式化验证 | Chika Komari

body .site-nav .site-menu, body .site-nav [data-theme-toggle] { display: none; } @media(max-width:960px) { body .site-nav { position: relative; flex-wrap: wrap; } body .site-nav .home-site-nav { display: flex; flex-wrap: wrap; order: 4; width: 100%; justify-content: space-between; gap: .5rem; } body .site-nav .home-site-nav a:last-child { display: flex; } body[data-shell-variant="standard"] .main-area { padding-top: 0; } }

Lean4

继续阅读 ↗