Display version obtained from environment.
Add height to .highlight.