デザイン変更

pre {
  line-height : 99% ;
}

div.section p {
  margin-top: 0;
  margin-bottom: 0;
}

"Delta"というテーマにして，読みやすいようにCSSを微調整した．

なんでかって

プログラムとかシェルのコマンドとか書くのには横幅が広い方がいいと思ったから．
引用タグはともかくまだpreタグは見づらいなー．