Sourcegraph vs Hugging Face
66 token-level differences between these two design systems.
Background
#1a1817 → #0b0f19 Text
#ededed → #e5e7eb Brand
#f34e3f → #ffd21e Border
#34302d → rgba(255, 255, 255, 0.10) Display font
PolySans → Source Sans Pro Body size
16px → 16px colors 54 changed
~
bg #1a1817 → #0b0f19 ~
surface #222222 → #191919 ~
surface-soft #1f1d1c → rgba(255, 255, 255, 0.04) ~
surface-strong #2c2a28 → rgba(255, 255, 255, 0.08) ~
text #ededed → #e5e7eb ~
text-soft #b8b8b8 → #9ca3af ~
text-muted #a0a0a0 → #6b7280 ~
text-faint #7a7672 → #4b5563 ~
brand #f34e3f → #ffd21e ~
brand-soft rgba(243, 78, 63, 0.12) → rgba(255, 210, 30, 0.15) ~
on-brand #ffffff → #0b0f19 ~
link #f34e3f → #3b82f6 ~
link-hover #ff6354 → #60a5fa ~
border #34302d → rgba(255, 255, 255, 0.10) ~
border-strong #48433f → rgba(255, 255, 255, 0.18) +
bg-alt #0d1424 +
surface-paper #ffffff +
surface-cream #f7f8f8 +
text-medium #d1d5db +
text-paper #0b0f19 +
text-paper-soft #4b5563 +
brand-deep #fbbf24 +
brand-warm #ff9d0b +
accent-green #1a8917 +
accent-pink #ff8fbd +
accent-blue #3b82f6 +
link-paper #1a56db +
selected-bg rgba(255, 210, 30, 0.12) +
disabled #4b5563 +
border-subtle rgba(255, 255, 255, 0.05) +
border-paper #e5e7eb +
border-yellow rgba(255, 210, 30, 0.40) +
success-bg rgba(26, 137, 23, 0.15) +
success-text #86efac +
warning-bg rgba(255, 157, 11, 0.15) +
warning-text #fcd34d +
danger-bg rgba(239, 68, 68, 0.15) +
danger-text #fca5a5 +
info-bg rgba(59, 130, 246, 0.15) +
info-text #93c5fd −
bg-soft #211f1d −
bg-elev #252321 −
brand-hover #ff6354 −
brand-emphasis #d63b2d −
brand-soft-fg #ff7a6e −
border-soft #2a2724 −
focus-ring #f34e3f −
semantic-success #4ec77f −
semantic-warning #e0a64b −
semantic-danger #f34e3f −
semantic-info #5aa9f0 −
diff-add-bg rgba(78, 199, 127, 0.14) −
diff-remove-bg rgba(243, 78, 63, 0.14) −
shadow-tint rgba(0, 0, 0, 0.55) typography 5 changed
~
display {"family":"PolySans","size":80} → {"family":"Source Sans Pro","size":72} ~
h1 {"family":"PolySans","size":48} → {"family":"Source Sans Pro","size":48} ~
h2 {"family":"PolySans","size":36} → {"family":"Source Sans Pro","size":36} ~
body {"family":"PolySans","size":16} → {"family":"Source Sans Pro","size":16} ~
label {"family":"SFMono-Regular","size":13} → {"family":"JetBrains Mono","size":11} radius 2 changed
~
button 8px → 6px ~
card 24px → 8px spacing 5 changed
~
xs 0px → 1px ~
sm 4px → 2px ~
md 12px → 6px ~
lg 32px → 12px ~
xl 64px → 20px