本当にちょっとしたことなんですが、書いておきます。
このサイトのソースコードハイライターは、今までGoogleのprettifyというのを使っていました。
ですが、最近（2016年5月）下記のサイトから読み込めないなーと思っていて、何かハイライターを使わないといけないと思っていました。
<script type="text/javascript" src="https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js"></script>
で、どうやら Highlight.js というのがよさそう！というので、使ってみます。下記のサイトさんが詳しいです。
ソースコードをハイライトする軽量ライブラリ、Highlight.jsの使い方: https://syncer.jp/how-to-use-highlightjs
しかし、悲しいかな、このサイトはPukiWikiでできているので、
<pre><code> ～ </code></pre>
というHTMLではなく、
<pre> ～ </pre>
というHTMLで今までソースコードを書いているんですね～
もちろん、過去の資産を無駄にしたくはありません⊂(＾-＾)⊃
というわけで、
でもHilight.jsが動作するように、は次のようにやります。
<script type="text/javascript">
$(document).ready(function() {
$('pre').each(function(i, block) {
hljs.highlightBlock(block);
});
});
</script>