Header style on hello_world.