Jeff
The editor defaults to index.php in base directory of your blog.
To edit the theme you need to edit files in the /wp-content/themes/xx folder where xx is the folder containing the theme you want to edit.
You can specify the file you want in the input box below the file editor in wp but I find it easier to copy the theme files locally, edit and ftp back to server.
Hope this helps
