Senin için https://prismjs.com/plugins/toolbar/
Bunu buldum. Hakim değilim konuya ama hakim birisi çıkarsa daha pratik nasıl olur yardımcı olacaktır.
Eklenti şeklindeyse sende yaparsın.

Bu arada örnek verdiğin site onu kullanıyor.