水曜なのでTAがあるので少々．

ナビを追加してから，いろいろ色が気に入らなかったりしたのでCSSを変更．生のCSSを触るのが微妙だということはさておき，いじった．

bootstrapのライセンスが気がついたらMITになっていたので気ままにパクって変更．ナビは半透明に．ボタンも変更．