Import the stock 'default' theme with a few tweaks