What is the default theme? It's a little bit different than cappuccin-frappe.