// Placeholder, it's used for user to customize the theme variable by less file.