add radius spinner to redlining’s circles
whitespace
add permalink to redlining example
Merge pull request #503 from tonio/circleradius

add radius spinner to redlining’s circles