Hi Niteesh, I have pushed the upgrade to the latest version of the theme. Can you confirm this fixes the search box for you?
Thank you! Amar. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
