When you say "lining ponds" are you talking about the top edge, or are you talking about inside the pond? Please keep all rocks out of the pond itself.
Also, besides the lava rock or feather rock, you want to make sure that none of your stones have sharp edges or points to them, so that you Koi won't scratch themselves.