Según veo, se debe al tipo de documento:
Código:
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
Yo lo había probado con
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
En tu caso, funciona si omites el width y especificas los porcentajes en los márgenes:
Código:
div.truco
{
border: 1px solid green;
background-color: silver;
margin-left: 10%;
margin-right: 10%;
}
// Saludos