本文と集合論のスタイルシート

本文と集合論にかかわるスタイルシートを更新。