I found the code in the menu.php file. Here’s how it reads with the change you suggested
(see the 7th line of code):
<div class=”menu”>
<?php if(function_exists(‘wp_page_menu’)) : ?>
<?php wp_page_menu (‘show_home=1&depth=1&title_li=’); ?>
<?php else : ?>
<?php endif; ?>
</div>
So far, after 15 minutes, the change has still not shown up when I view my stie. I’m willing to wait a while longer before hollering for help again, as earlier today it took a very long time for a font change to show up after I had updated the file.
Thanks.