This is the code that does the trick. This is in the <title> bock of foo.html, bar.html and moomin.html (and this page, for that matter). It would be a lot easier and more manageable, of course, to save the code as a .js file and just include that.
<script type="text/javascript">
<!-- Hide
function changeTitle()
{
if(parent.document.title != document.title) {
parent.document.title = document.title;
}
}
// Dunhidin -->
</script>
Then set up the <body> tag as follows...
<body onload="changeTitle()">