// JavaScript Document

function desplega_directorio( p_actual, tipo_directorio)
{
	var clase_actual = document.getElementById("div_directorio_" + tipo_directorio ).className;

	p_actual.className = "titulo_directorio " + ( clase_actual == "ocultar" ? "plegar" : "desplega" );
	document.getElementById("div_directorio_" + tipo_directorio ).className = "ocultar";
	if( clase_actual == "ocultar" )
	{
		document.getElementById("div_directorio_" + tipo_directorio ).className = "";
	}
}