window.ATTO_TOKENS = {
  ink: '#0a0a0a',
  inkSoft: '#1a1a1a',
  ivory: '#f4efe6',
  ivorySoft: '#ebe4d4',
  ivoryDeep: '#ddd4bf',
  gold: '#c9a96e',
  goldDeep: '#8b6f3f',
  goldGlow: '#e8cc8e',
  blue: '#4a6fa5',
  blueDeep: '#1f3b6b',
  rule: 'rgba(10,10,10,0.12)',
  ruleSoft: 'rgba(10,10,10,0.06)',
  mutedText: 'rgba(10,10,10,0.58)',
  fadedText: 'rgba(10,10,10,0.38)',
};