documentation/server: extra vertical spacing