/* page-specific styles for index.html */