I have a question while reading Steenrod's The Topology of Fibre Bundles, section 12.
A space $Y$ is called solid if, for any normal space $X$, closed subset $A$ of $X$, and map $f:A\to Y$, there exists a map $f':X\to Y$ such that $f'|_A=f$.
Let $Y$ be solid such that $Y\times I$ is normal. Fix a point $y_0\in Y$. Note that $A:=(Y\times 0)\cup (y_0\times I)\cup (Y\times I)$ is a closed subset of $Y\times I$. Define $f:A\to Y$ by $f(y,0)=y$, $f(y,1)=y_0$ and $f(y_0,t)=y_0$. Then solidity of $Y$ implies that $f$ extends to $f':Y\times I\to Y$. Now $f'$ is a homotopy from $\textrm{id}_Y$ to the constant map $Y\to y_0$. Thus $Y$ is contractible. Since $y_0$ is arbitrary, it also follows that $Y$ is locally contractible.
I can't see why $Y$ is locally contractible. How does this argument shows that each point of $Y$ have arbitrary small locally contractible neighborhoods?