5-7mm Coal Blue

Used for a small decorative gravel in pathways, courtyards and small areas. 

Also used by plumbers for around pipes, known as plumbers sand or pea gravel.