// Customisations for the <default> theme
// @background: yellow;
// @borders: red;
// @accent: green;