console系とソースコード系で<pre>タグの色付けを変えるようにした。