Adding banner to YUI 2.5.2 documentation