// Theme base options
$laptop: 'true';
$trans: 'true';
$theme: 'default';
$scheme: 'standard';
// Gnome version
$gnome_version: 'old';