このホームページの生成には静的サイトジェネレータHugo上のテーマ"hugo-academic"を使っていたが，そのバージョンを上げたら仕様がいろいろ変わってしまい，htmlも生成できなくなって少しの間困っていた。
このホームページのCMSにはGravを使っていたが，Hugoに変えた。 Gravラブだったが，セキュリティ確保のための学内方針で静的サイトに移行しないといけないため，止むを得ずというところ。
これまでDropbox管理だったGravをGitHub対応にしてgit-syncのプラグインを使おうとしたらはまった。 一応なんとかなったと思うので，今後のためのメモ書き。
このホームページ作成に使っているGravはMarkdown記法。 Markdownには文字色指定タグがないのだけど，プラグインが2種類ある。
夏バテなのか研究室のWebサーバのハードディスクが壊れてしまった。 このWebページの復旧作業にもえらく手間取ってしまったので作業メモ。
サイト構築にしばらくPukiwikiを使っていたが，なんとなく他のCMSを使ってみたくなったのでgravを試すことにした．