/* E3.4: コードブロックは黒背景固定のため、常に github-dark テーマを使用 */
/* public-shell.js がダーク系テーマ URL に上書きするが、初期値もダーク系とする */
@import url('https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/styles/github-dark.min.css');