Sign up for the 7-day free trial

Small fix: the color of the Search button on the Search Results page followed the customized color of the bar. Nice in some cases, but plain wrong when using light colors (or even white) for the top bar.
The Search button is fixed to blue now, just like other buttons in the live manuals.