css, html, and other trivialities