Fix #304: Automatically set Android Theme