As a regular rock climber, I use my old rope for the dog lead... it's between 8-11mm usually (for a single line at least)...
If you buy online, it'll be in 30m lengths and up, but if you visit your local rock climbing store (Westway in London has one, as does Castle).... try "Urban Rock" they...