サイトを開く
Formal verification and AI — research and engineering from Theorem.
Design Tokens（DOM解析データ）
このサイトを 1440×900 でレンダリングして、実際のCSS値から自動抽出した数値データです。「同じ感じ」を再現する材料になります。
カラーロール
Background
#f5f5f6Text
#18181bColor #1
#18181bColor #2
#71717aColor #3
#52525bColor #4
#0a0a0aタイポグラフィ
| 要素 | Font | Size | Weight | Line | Tracking |
|---|---|---|---|---|---|
| h2 | Geist |
18px | 600 | 23.4px | -0.27px |
| 本文 | Geist |
16.5px | 400 | 26.4px | normal |
| リンク | Geist |
16px | 400 | normal | normal |
使用フォント頻度
Geist24箇所
スケール・形状
- セクション余白(pt/pb)
- 40-80px
- コンテナ幅
- width: 1425px / max-width: none
- ナビゲーション
- 高さ 71px / position: static
