ipython/ipython — pull request #3143 by minrk (2013-04-07 19:17:30+00:00)
Title: minor heading-link tweaks

- use id instead of name
- replace spaces with `_`

for html compliance

and tweak heading-anchor css to avoid blue visited links.