Cita: if ($nav == "Internet Explorer 8" OR $nav == "Internet Explorer 7" OR $nav == "Internet Explorer 6")
Que también podría ser:
if ( strpos( $nav, "Explorer") !== false )
En síntesis:
Código PHP:
<?php if ( strpos( $nav, "Explorer") !== false ): ?>
<link href="estilo_ie.css" rel="stylesheet" type="text/css" />
<?php else: ?>
<link href="estilo.css" rel="stylesheet" type="text/css" />
<?php endif; ?>