Further adjustments in the documentation style.