Highlightjsのテーマを選択できるようにする

[vincentp (Vincent)]

現在、ユーザーが Highlight.js のテーマを選択する方法はありません。その結果、サイト用にどのテーマを設定すべきか（テーマピッカーコンポーネントを使用）について議論が絶えません。明るいテーマを好む人もいれば、暗いテーマを好む人もいます。

サイト全体で明るいテーマと暗いテーマを設定できるようにするだけでも、改善されます。

また、Highlight.js のバージョンが古いため、多くのテーマを利用できていません。