Ya he conseguido solucionarlo con:
Código:
var ancho_inicial = parent.document.getElementById('iframe2').width;
function cambiar_ancho_menu(ancho_inicial){
var ancho_actual = parent.document.getElementById('iframe2').width;
var ancho_diferencia = ancho_actual - ancho_inicial;
var ancho_final = 200 - ancho_diferencia;
parent.document.getElementById('dos').cols=ancho_final+",*";
}
Solo podía modificar el ancho del frameset con ( parent.document.getElementById('dos').cols ), y solo podía ver el ancho que quedaba después de modificar el tamaño con el ratón con ( parent.document.getElementById('iframe2').width; ), así que lo he mezclado.
Gracias a todos