これ、調整おおよそできたから https://userstyles.world/ に公開して誰でも利用できるようにしようかなと思うのだけど、ライセンス周り確認したほうがいいかね...

些細なCSSではあるんだけど、元のモダンテーマのモンキーパッチということにはなるだろうから。