/* Default theme: relies on base variables from public.php */