$color = rgb('#ABC'); restyle({ 'html, body': { font: { size: 14, family: monospace, color: $color } } });