A code sample for adding theme options to WordPress themes