Yep, but OP spent some time arguing that this should be the default theme across Wikipedia.