pre { font-size: 100%; /* IE9のUAスタイルシートが縮小するのを阻止する。*//* 100%を指定してすら縮小する WebKit/Blinkのことは知らない */
font-family: monospace, serif;