básicamente lo que se puede hacer es modificar la línea:
echo "<frameset rows="$CFG->resource_framesize,*">";del fichero mod/resource/type/file/resource.class.php por la siguiente:
echo "<frameset rows="$CFG->resource_framesize,*" border="0">";Además la línea:
echo "<frame src="view.php?id={$cm->id}&type={$resource->type}&frameset=top"/>";debería cambiar a:
echo "<frame src="view.php?id={$cm->id}&type={$resource->type}&frameset=top" noresize="noresize"/>";si no quieres que al frame se le pueda cambiar el tamaño.
En cualquier caso, insisto en que lo de los frames nunca ha sido demasiado "estándar" y cada navegador lo interpreta un poco a su manera. En algunos la etiqueta "border" hay que ponerla en el frame en lugar de en en el frameset, en otros, siendo estrictos hay que utilizar el atributo "frameborder" en lugar de "border"... como puedes ver, un poco caótico. Pero con las dos modificaciones que te he puesto arriba, yo lo veo bien en mis navegadores.
Ciao