Normalize formatting across CSS files and fix selector whitespace and quote usage. Change default link color to browser blue and enable smooth scrolling; hover underlines links. Revamp table styles (borders, caption, zebra rows, padding, footer alignment). Adjust proof/theorem header spacing and minor spacing/padding fixes.