@CHARSET "UTF-8";

/* --------------カスタマイズ用CSS---------------- */
/* 印刷ダイアログについて文字サイズを変更する。
フォントサイズは em 単位で指定すること、1.0em 以上の値を指定すること。
*/
@media print {
pre {font-size: 1.7em;}
pre pre {font-size: 1.0em;}
}