/** * Do not edit directly * Generated on Thu, 09 May 2019 22:06:59 GMT */ @ds-color-code-background: #2f3542; @ds-color-code-background-inline: #d8dde6; @ds-color-code-text: #ffffff; @ds-color-code-text-inline: #2f3542; @ds-color-code-green: #98c379; @ds-color-code-purple: #c678dd; @ds-color-code-blue: #61afef; @ds-color-code-pink: #e06c75; @ds-color-code-orange: #d19a66;