如何使用

在 <pre> 元素上使用 data-src 和 data-download-link 属性，类似于 自动加载器，如下所示

<pre data-src="myfile.js" data-download-link></pre>

或者，还可以通过使用 data-download-link-label 属性来自定义按钮的文本。

<pre data-src="myfile.js" data-download-link data-download-link-label="Download this file"></pre>