Variegated groundcover ID
I saw this variegated plant growing at a botanical garden this spring. It seemed to be planted as a groundcover around some larger plants.The plant was missing its species tag and I can't seem to find any pictures online that look similar. The leaves are approximately 1/4 inch long and were somewhat fleshy.
Does anyone recognize it?
Here is a link that might be useful: