7
you have to update your preferences after you make changes to your theme.html go to system admin -> preferences[edit] -> general settings - about fith or sixth option down. set to yes then submit. this will update the theme.html
dont forget to go back in and set to no when your site is up.