Using the new CSS for manual pages