ブログのテーマ変更しました。 Googleグループの記事を書いている途中なのですが、よく使われると思われるタグの表示がおかしかったので、それが思った通りに表示されるテーマに変更しました。 どちらも公式のテーマなのですが記事に影響を与えるようなスタ…