一般民用建筑门的高度不宜小于(　　)。