■

userstyles.org に作った style を上げるべきか。つたなくても、だれかの役に立つかもしれんし。違うpcにインストールする手間が減るもんなあ。自分のためにもなる。レポジトリとして使うのね。もうなんでもネット上の置いておくんだよ。