デザイン変更

家のPCで見ると普通なんでつけど、会社のPCで見ると色が薄くて境界がはっきりしなかったんで、borderつけてみた。

pre {
border-width: 1px;
border-style:dashed;
}