En Ajaxian se ha creado un interesante post en el que se muestran diversas formas de detectar Internet Explorer 7 con Javascript. A partir de un código inicial:
if (typeof document.body.style.maxHeight != "undefined") {
// IE 7, mozilla, safari, opera 9
} else {
// IE6, older browsers
}
En los comentarios se han ido aportando otras soluciones que nos servirían para determinar si estamos ante un IE7 o no, tales como los comentarios condicionales, el uso de XMLHttpRequest, etc.